0 # initial state
[3] # terminal state
(0,0,'!G',ConstantRewardFunction(1))
(0,1,'G',ConstantRewardFunction(1))
(1,1,'!G|!Y',ConstantRewardFunction(1))
(1,2,'G&Y',ConstantRewardFunction(1))
(2,2,'!G|!Y|!R',ConstantRewardFunction(1))
(2,3,'G&Y&R',ConstantRewardFunction(1))
(3,3,'G|Y|R|G&Y|G&R|Y&R|G&Y&R|I',ConstantRewardFunction(1))
