Transition
II AC,AD BC,BD IC
0 II AD,AD AC,AC
AC,BD IC II AD,AC
0 AC,AD 0 II
Unkown_Transition_by
0 0 0 0 0 0 0 0
0 0 t1 0 0 0 0 0
0 0 0 c 0 0 0 0
0 0 0 0 0 0 0 0
0 0 0 0 0 t1 0 0
0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0
Name_State
s0 s1 s2 s3
Initial_State
s0
Atomic_propositions
a b c d e f g h i
Labelling
1 0 0 0 0 0 0 1 0
0 0 0 0 1 0 0 1 0
0 0 1 0 0 0 0 1 0
1 0 0 0 0 0 0 1 0
Number_of_agents
2