| 2009 |
|---|
| 6 | EE | Tomás Brázdil,
Václav Brozek,
Antonín Kucera,
Jan Obdrzálek:
Qualitative Reachability in Stochastic BPA Games.
STACS 2009: 207-218 |
| 5 | EE | Tomás Brázdil,
Václav Brozek,
Kousha Etessami,
Antonín Kucera,
Dominik Wojtczak:
One-Counter Markov Decision Processes
CoRR abs/0904.2511: (2009) |
| 2008 |
|---|
| 4 | EE | Tomás Brázdil,
Václav Brozek,
Jan Holecek,
Antonín Kucera:
Discounted Properties of Probabilistic Pushdown Automata.
LPAR 2008: 230-242 |
| 3 | 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) |
| 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 |
