# MODEL: Test model for VITAMIN with 2 agents and 8 states (0-7)

# PURPOSE: Test model for VITAMIN OL verification.

# LOGIC: OL

# DESCRIPTION: Two agents, 8 states; various cost setups. States 0,1,3,6: a_w;
# state 6: goal and safe; 0,1,3: safe. Use for cost-bounded reachability and
# safety.

Transition
0 1A 0 0 0 0 0 0
0 0 1A 0 0 0 0 0
0 0 0 8A 0 0 0 0
0 0 0 0 8A 0 0 0
0 0 0 0 0 8A 0 0
0 0 0 0 0 0 1A 0
0 0 0 0 0 0 0 1A
0 0 0 0 0 0 0 *

Name_State
0 1 2 3 4 5 6 7
Initial_State
0
Costs_for_actions
1A 0$1:0;1$1:0;5$1:0;6$1:0
8A 2$8:0;3$8:0;4$8:0
Atomic_propositions
a_w goal safe hazard
Labelling
1 0 1 0
1 0 1 0
0 0 0 0
1 0 1 0
0 0 0 0
0 0 0 0
1 1 1 0
0 0 0 0
Number_of_agents
2
