Title of article :
Reachability in recursive Markov decision processes
Author/Authors :
Toma? Brazdil، نويسنده , , Vaclav Bro?ek، نويسنده , , Vojt?ch Forejt، نويسنده , , Anton?n Ku?era، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2008
Keywords :
Markov decision processes , Temporal logics , Stochastic games
Journal title :
Information and Computation
Journal title :
Information and Computation
