Transition
III ACZ,ADX BCZ,BDX ICX BCZ
0 III ADX,ADX ACX,ACX BDZ
ACZ,BDZ ICZ III ADZ,ACX ADZ
0 ACZ,ADZ 0 III ACZ
0 0 0 0 III
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 s4
Initial_State
s0
Atomic_propositions
a b c d e f g h
Labelling
1 0 0 0 0 0 0 1
0 0 0 0 1 0 0 1
0 0 1 0 0 0 0 1
1 0 0 0 0 0 0 1
1 1 1 1 1 1 1 1
Number_of_agents
3