Václav Brozek

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