2009 |
17 | EE | Tomás Brázdil,
Václav Brozek,
Antonín Kucera,
Jan Obdrzálek:
Qualitative Reachability in Stochastic BPA Games.
STACS 2009: 207-218 |
16 | 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 |
15 | 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 |
14 | EE | Tomás Brázdil,
Vojtech Forejt,
Jan Kretínský,
Antonín Kucera:
The Satisfiability Problem for Probabilistic CTL.
LICS 2008: 391-402 |
13 | EE | Tomás Brázdil,
Václav Brozek,
Jan Holecek,
Antonín Kucera:
Discounted Properties of Probabilistic Pushdown Automata.
LPAR 2008: 230-242 |
12 | EE | Tomás Brázdil,
Antonín Kucera,
Oldrich Strazovský:
Deciding probabilistic bisimilarity over infinite-state probabilistic systems.
Acta Inf. 45(2): 131-154 (2008) |
11 | 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 |
10 | EE | Tomás Brázdil,
Vojtech Forejt:
Strategy Synthesis for Markov Decision Processes and Branching-Time Logics.
CONCUR 2007: 428-444 |
9 | EE | Christel Baier,
Tomás Brázdil,
Marcus Größer,
Antonín Kucera:
Stochastic Game Logic.
QEST 2007: 227-236 |
2006 |
8 | EE | Tomás Brázdil,
Václav Brozek,
Vojtech Forejt,
Antonín Kucera:
Reachability in Recursive Markov Decision Processes.
CONCUR 2006: 358-374 |
7 | EE | Tomás Brázdil,
Václav Brozek,
Vojtech Forejt,
Antonín Kucera:
Stochastic Games with Branching-Time Winning Objectives.
LICS 2006: 349-358 |
6 | | Tomás Brázdil,
Ivana Cerná:
Model Checking of RegCTL.
Computers and Artificial Intelligence 25(1): (2006) |
2005 |
5 | EE | Tomás Brázdil,
Javier Esparza,
Antonín Kucera:
Analysis and Prediction of the Long-Run Behavior of Probabilistic Sequential Programs with Recursion (Extended Abstract).
FOCS 2005: 521-530 |
4 | EE | Tomás Brázdil,
Antonín Kucera:
Computing the Expected Accumulated Reward and Gain for a Subclass of Infinite Markov Chains.
FSTTCS 2005: 372-383 |
3 | EE | Tomás Brázdil,
Antonín Kucera,
Oldrich Strazovský:
On the Decidability of Temporal Properties of Probabilistic Pushdown Automata.
STACS 2005: 145-157 |
2004 |
2 | EE | Tomás Brázdil,
Antonín Kucera,
Oldrich Strazovský:
Deciding Probabilistic Bisimilarity Over Infinite-State Probabilistic Systems.
CONCUR 2004: 193-208 |
2002 |
1 | EE | Tomás Brázdil,
Ivana Cerná:
Local Distributed Model Checking of RegCTL.
Electr. Notes Theor. Comput. Sci. 68(4): (2002) |