$SU.strat-v0.1
// Stochastic Memory Update Strategy
start strategy
States:
14
// Initial state
InitState:
0
// initial distribution
Init:
{0=1.0}
// next state function
// note: only P1 states
Next:
// first index: current state
// second index: current corner
2 0 {2=1.0}
3 0 {1=1.0}
// memory update function: player states
MemUpdStates:
// first index: current state
// second index: current corner
// third index: next move
0 0 0 {0=1.0}
1 0 0 {0=1.0}
1 0 1 {0=1.0}
2 0 2 {0=1.0}
3 0 1 {0=1.0}
6 0 0 {0=1.0}
8 0 0 {0=1.0}
10 0 0 {0=1.0}
11 0 0 {0=1.0}
13 0 0 {0=1.0}
// memory update function: moves
MemUpdMoves:
// first index: current state
// second index: current move
// third index: curent corner (at move)
// fourth index: next state
0 0 0 1 {0=1.0}
0 0 0 2 {0=1.0}
0 0 0 3 {0=1.0}
0 0 0 10 {0=1.0}
1 0 0 2 {0=1.0}
1 1 0 3 {0=1.0}
2 2 0 6 {0=1.0}
3 1 0 8 {0=1.0}
6 0 0 0 {0=1.0}
6 0 0 11 {0=1.0}
8 0 0 0 {0=1.0}
8 0 0 11 {0=1.0}
10 0 0 13 {0=1.0}
11 0 0 13 {0=1.0}
13 0 0 13 {0=1.0}
Info:
Property: <<1>> ((((((R{"success"}>=0.7 [ C ]&R{"collision"}<=0.2 [ C ]))))))
Type: $SU.strat-v0.1
Memory size: 25
endstrategy