Václav Brozek

Publication Activity (10 Years)

Years Active: 2006-2014
Publications (10 Years): 0

Top Topics

Markov Decision Process

Stochastic Games

Infinite Horizon

Top Venues

J. Comput. Syst. Sci.

Log. Methods Comput. Sci.

Theor. Comput. Sci.

Publications

Tomás Brázdil, Václav Brozek, Krishnendu Chatterjee, Vojtech Forejt, Antonín Kucera
Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes Log. Methods Comput. Sci. 10 (1) (2014)
Tomás Brázdil, Václav Brozek, Vojtech Forejt, Antonín Kucera
Branching-time model-checking of probabilistic pushdown automata. J. Comput. Syst. Sci. 80 (1) (2014)
Tomás Brázdil, Václav Brozek, Kousha Etessami, Antonín Kucera
Approximating the termination value of one-counter MDPs and stochastic games. Inf. Comput. 222 (2013)
Václav Brozek
Determinacy and optimal strategies in infinite-state stochastic reachability games. Theor. Comput. Sci. 493 (2013)
Tomás Brázdil, Václav Brozek, Kousha Etessami, Antonín Kucera
Approximating the Termination Value of One-Counter MDPs and Stochastic Games. ICALP (2) (2011)
Tomás Brázdil, Václav Brozek, Antonín Kucera, Jan Obdrzálek
Qualitative reachability in stochastic BPA games. Inf. Comput. 209 (8) (2011)
Václav Brozek
Optimal Strategies in Infinite-state Stochastic Reachability Games GandALF (2011)
Tomás Brázdil, Václav Brozek, Kousha Etessami, Antonín Kucera
Approximating the Termination Value of One-Counter MDPs and Stochastic Games CoRR (2011)
Tomás Brázdil, Václav Brozek, Krishnendu Chatterjee, Vojtech Forejt, Antonín Kucera
Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes. LICS (2011)
Tomás Brázdil, Václav Brozek, Kousha Etessami
One-Counter Stochastic Games CoRR (2010)
Tomás Brázdil, Václav Brozek, Kousha Etessami
One-Counter Stochastic Games. FSTTCS (2010)
Tomás Brázdil, Václav Brozek, Kousha Etessami, Antonín Kucera, Dominik Wojtczak
One-Counter Markov Decision Processes. SODA (2010)
Tomás Brázdil, Václav Brozek, Antonín Kucera, Jan Obdrzálek
Qualitative Reachability in Stochastic BPA Games CoRR (2010)
Tomás Brázdil, Václav Brozek, Kousha Etessami, Antonín Kucera, Dominik Wojtczak
One-Counter Markov Decision Processes CoRR (2009)
Tomás Brázdil, Václav Brozek, Vojtech Forejt
Branching-Time Model-Checking of Probabilistic Pushdown Automata. INFINITY (2009)
Václav Brozek
Regularity in PDA Games Revisited. Electron. Notes Theor. Comput. Sci. 251 (2009)
Tomás Brázdil, Václav Brozek, Antonín Kucera, Jan Obdrzálek
Qualitative Reachability in Stochastic BPA Games. STACS (2009)
Tomás Brázdil, Václav Brozek, Jan Holecek, Antonín Kucera
Discounted Properties of Probabilistic Pushdown Automata. LPAR (2008)
Tomás Brázdil, Václav Brozek, Vojtech Forejt, Antonín Kucera
Reachability in recursive Markov decision processes. Inf. Comput. 206 (5) (2008)
Tomás Brázdil, Václav Brozek, Vojtech Forejt, Antonín Kucera
Reachability in Recursive Markov Decision Processes. CONCUR (2006)
Tomás Brázdil, Václav Brozek, Vojtech Forejt, Antonín Kucera
Stochastic Games with Branching-Time Winning Objectives. LICS (2006)