Václav Brozek

According to our database, Václav Brozek authored at least 13 papers between 2006 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2014

Branching-time model-checking of probabilistic pushdown automata.

Tomás Brázdil, Václav Brozek, Vojtech Forejt, Antonín Kucera

J. Comput. Syst. Sci., 2014

Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes

Tomás Brázdil, Václav Brozek, Krishnendu Chatterjee, Vojtech Forejt, Antonín Kucera

Log. Methods Comput. Sci., 2014

2013

Determinacy and optimal strategies in infinite-state stochastic reachability games.

Václav Brozek

Theor. Comput. Sci., 2013

Approximating the termination value of one-counter MDPs and stochastic games.

Tomás Brázdil, Václav Brozek, Kousha Etessami, Antonín Kucera

Inf. Comput., 2013

2011

Qualitative reachability in stochastic BPA games.

Tomás Brázdil, Václav Brozek, Antonín Kucera, Jan Obdrzálek

Inf. Comput., 2011

Optimal Strategies in Infinite-state Stochastic Reachability Games

Václav Brozek

Proceedings of Second International Symposium on Games, 2011

2010

One-Counter Markov Decision Processes.

Tomás Brázdil, Václav Brozek, Kousha Etessami, Antonín Kucera, Dominik Wojtczak

Proceedings of the Twenty-First Annual ACM-SIAM Symposium on Discrete Algorithms, 2010

One-Counter Stochastic Games.

Tomás Brázdil, Václav Brozek, Kousha Etessami

Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2010

2009

Branching-Time Model-Checking of Probabilistic Pushdown Automata.

Tomás Brázdil, Václav Brozek, Vojtech Forejt

Proceedings of the Joint Proceedings of the 8th, 2009

2008

Reachability in recursive Markov decision processes.

Tomás Brázdil, Václav Brozek, Vojtech Forejt, Antonín Kucera

Inf. Comput., 2008

Regularity in PDA Games Revisited.

Václav Brozek

Proceedings of the International Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, 2008

Discounted Properties of Probabilistic Pushdown Automata.

Tomás Brázdil, Václav Brozek, Jan Holecek, Antonín Kucera

Proceedings of the Logic for Programming, 2008

2006

Stochastic Games with Branching-Time Winning Objectives.

Tomás Brázdil, Václav Brozek, Vojtech Forejt, Antonín Kucera

Proceedings of the 21th IEEE Symposium on Logic in Computer Science (LICS 2006), 2006