Cost vs. time in stochastic games and Markov automata
2017 ◽
Vol 29
(4)
◽
pp. 629-649
◽