Ordered field property for stochastic games when the player who controls transitions changes from state to state
1981 ◽
Vol 34
(4)
◽
pp. 503-515
◽