# MODEL: Three-agent cost-constrained model with 6 states (s0-s5)

# PURPOSE: Three agents coordinate under cost bounds.

# LOGIC: OATL

# DESCRIPTION: Each action has a cost; agents must reach goals within cost
# bounds. Shows how resource limits affect strategies.

Transition
0 AA^ ^^R AAR 0 0
0 * 0 0 0 0
0 0 0 AA^ AAQ ^^Q
0 0 0 * 0 0
0 0 0 0 * 0
0 0 0 0 0 *
Name_State
s0 s1 s2 s3 s4 s5
Initial_State
s0
Costs_for_actions
AA^ s0$1:1:1;s2$1:1:1
AAR s0$2:2:2
AAQ s2$2:2:2
^^R s0$3:3:3
^^Q s2$3:3:3
*** s1$3:3:3
*** s3$3:3:3
*** s4$3:3:3
*** s5$3:3:3
Atomic_propositions
r s g h
Labelling
0 0 0 0
1 1 0 0
0 0 1 0
1 1 1 0
1 1 1 1
0 0 1 1
Number_of_agents
3
