Vclav Brozek
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
6
Active years
2006–2011
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2011 | ICALP | Approximating the Termination Value of One-Counter MDPs and Stochastic Games. | Toms Brzdil, Vclav Brozek, Kousha Etessami, Antonn Kucera |
| 2011 | LICS | Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes. | Toms Brzdil, Vclav Brozek, Krishnendu Chatterjee, Vojtech Forejt, Antonn Kucera |
| 2010 | SODA | One-Counter Markov Decision Processes. | Toms Brzdil, Vclav Brozek, Kousha Etessami, Antonn Kucera, Dominik Wojtczak |
| 2009 | STACS | Qualitative Reachability in Stochastic BPA Games. | Toms Brzdil, Vclav Brozek, Antonn Kucera, Jan Obdrzlek |
| 2008 | LPAR | Discounted Properties of Probabilistic Pushdown Automata. | Toms Brzdil, Vclav Brozek, Jan Holecek, Antonn Kucera |
| 2006 | CONCUR | Reachability in Recursive Markov Decision Processes. | Toms Brzdil, Vclav Brozek, Vojtech Forejt, Antonn Kucera |
| 2006 | LICS | Stochastic Games with Branching-Time Winning Objectives. | Toms Brzdil, Vclav Brozek, Vojtech Forejt, Antonn Kucera |