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
Pages
18
From page
520
To page
537
Keywords
Markov decision processes , Temporal logics , Stochastic games
Journal title
Information and Computation
Serial Year
2008
Journal title
Information and Computation
Record number
262470
Link To Document