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