Transition_With_Costs
0 8 0 0 0 0 0 0 
0 0 1 8 0 0 0 0 
0 0 0 0 8 1 0 0 
0 0 0 0 1 0 8 0 
0 0 0 0 0 0 0 8 
0 0 0 0 0 0 0 8 
0 0 0 0 0 0 0 1 
0 0 0 0 0 0 0 0 
Name_State
0 1 2 3 4 5 6 7 
Atomic_propositions
A_w
Labelling
1 0
1 0
1 0
1 0
1 0
0 1
0 1
0 1
Number_of_agents
2