Transition
0 AC,AD 0 BD BC
0 AC,BC AD,BD 0 0
0 0 BC,BD AC,AD 0
0 AC,BC AD BD 0
0 0 0 AC,AD BC,BD
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
s1 s2 s3 s4 s5
Initial_State
s1
Atomic_propositions
a b c d e q
Labelling
0 0 1 1 1 0
0 1 1 0 1 0
1 0 0 0 1 1
1 1 0 1 0 0
1 0 0 1 1 1
Number_of_agents
2
