 | 2009 |
|---|
| 8 |       | Patricia Bouyer,
Vojtech Forejt:
Reachability in Stochastic Timed Games.
ICALP (2) 2009: 103-114 |
| 7 | | Tomás Brázdil,
Václav Brozek,
Vojtech Forejt:
Branching-Time Model-Checking of Probabilistic Pushdown Automata.
Electr. Notes Theor. Comput. Sci. 239: 73-83 (2009) |
| 2008 |
|---|
| 6 | | Tomás Brázdil,
Vojtech Forejt,
Antonín Kucera:
Controller Synthesis and Verification for Markov Decision Processes with Qualitative Branching Time Objectives.
ICALP (2) 2008: 148-159 |
| 5 | | Tomás Brázdil,
Vojtech Forejt,
Jan Kretínský,
Antonín Kucera:
The Satisfiability Problem for Probabilistic CTL.
LICS 2008: 391-402 |
| 4 | | Tomás Brázdil,
Václav Brozek,
Vojtech Forejt,
Antonín Kucera:
Reachability in recursive Markov decision processes.
Inf. Comput. 206(5): 520-537 (2008) |
| 2007 |
|---|
| 3 | | Tomás Brázdil,
Vojtech Forejt:
Strategy Synthesis for Markov Decision Processes and Branching-Time Logics.
CONCUR 2007: 428-444 |
| 2006 |
|---|
| 2 | | Tomás Brázdil,
Václav Brozek,
Vojtech Forejt,
Antonín Kucera:
Reachability in Recursive Markov Decision Processes.
CONCUR 2006: 358-374 |
| 1 | | Tomás Brázdil,
Václav Brozek,
Vojtech Forejt,
Antonín Kucera:
Stochastic Games with Branching-Time Winning Objectives.
LICS 2006: 349-358 |
