| 2008 |
|---|
| 6 | EE | 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 | EE | Tomás Brázdil,
Vojtech Forejt,
Jan Kretínský,
Antonín Kucera:
The Satisfiability Problem for Probabilistic CTL.
LICS 2008: 391-402 |
| 4 | EE | 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 | EE | Tomás Brázdil,
Vojtech Forejt:
Strategy Synthesis for Markov Decision Processes and Branching-Time Logics.
CONCUR 2007: 428-444 |
| 2006 |
|---|
| 2 | EE | Tomás Brázdil,
Václav Brozek,
Vojtech Forejt,
Antonín Kucera:
Reachability in Recursive Markov Decision Processes.
CONCUR 2006: 358-374 |
| 1 | EE | Tomás Brázdil,
Václav Brozek,
Vojtech Forejt,
Antonín Kucera:
Stochastic Games with Branching-Time Winning Objectives.
LICS 2006: 349-358 |
