Publication Records

BRÁZDIL, Tomáš, Václav BROŽEK, Vojtěch FOREJT and Antonín KUČERA. Branching-time model-checking of probabilistic pushdown automata. Journal of Computer and System Sciences. Academic Press, 2014, vol. 80, No 1, p. 139-156. ISSN 0022-0000. Available from: https://dx.doi.org/10.1016/j.jcss.2013.07.001.

BRÁZDIL, Tomáš, Václav BROŽEK, Krishnendu CHATTERJEE, Vojtěch FOREJT and Antonín KUČERA. Markov Decision Processes with Multiple Long-Run Average Objectives. Logical Methods in Computer Science. Technical University of Braunschweig, 2014, vol. 10, No 1, p. 1-29. ISSN 1860-5974. Available from: https://dx.doi.org/10.2168/LMCS-10(1:13)2014.

BRÁZDIL, Tomáš, Václav BROŽEK, Kousha ETESSAMI and Antonín KUČERA. Approximating the termination value of one-counter MDPs and stochastic games. Information and Computation. Netherlands: Elsevier Science, 2013, vol. 222, January, p. 121-138. ISSN 0890-5401. Available from: https://dx.doi.org/10.1016/j.ic.2012.01.008.

BROŽEK, Václav. Determinacy and Optimal Strategies in Infinite-state Stochastic Reachability Games. Theoretical Computer Science. Amsterdam: Elsevier, 2013, vol. 493, No 1, p. 80-97. ISSN 0304-3975. Available from: https://dx.doi.org/10.1016/j.tcs.2012.10.038.

BRÁZDIL, Tomáš, Václav BROŽEK, Kousha ETESSAMI and Antonín KUČERA. Approximating the Termination Value of One-Counter MDPs and Stochastic Games. In Luca Aceto, Monika Henzinger, Jiří Sgall. Proceedings of 38th International Colloquium on Automata, Languages and Programming (ICALP 2011). Berlin: Springer, 2011, p. 332-343. ISBN 978-3-642-22011-1.

BRÁZDIL, Tomáš, Václav BROŽEK, Antonín KUČERA and Jan OBDRŽÁLEK. Qualitative Reachability in Stochastic BPA Games. Information and Computation. Elsevier, 2011, vol. 209, No 8, p. 1160-1183. ISSN 0890-5401.

BROŽEK, Václav, Tomáš BRÁZDIL, Krishnendu CHATTERJEE, Vojtěch FOREJT and Antonín KUČERA. Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes. In Martin Grohe. Proceedings 26th Annual IEEE Symposium on Logic in Computer Science. Los Alamitos, California: IEEE, 2011, p. 33-42. ISBN 978-0-7695-4412-0. Available from: https://dx.doi.org/10.1109/LICS.2011.10.

BRÁZDIL, Tomáš, Václav BROŽEK, Kousha ETESSAMI, Antonín KUČERA and Dominik WOJTCZAK. One-Counter Markov Decision Processes. In Proceedings of the Twenty-First Annual ACM-SIAM Symposium on Discrete Algorithms. Neuveden: SIAM, 2010, p. 863-874. ISBN 978-0-89871-698-6.

BRÁZDIL, Tomáš, Václav BROŽEK and Kousha ETESSAMI. One-Counter Stochastic Games. In IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2010). Dagstuhl, Germany: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2010, p. 108-119. ISBN 978-3-939897-23-1.

BROŽEK, Václav. Basic Model Checking Problems for Stochastic Games. Brno: Faculty of Informatics, Masaryk University, 2009.

BRÁZDIL, Tomáš, Václav BROŽEK and Vojtěch FOREJT. Branching-Time Model-Checking of Probabilistic Pushdown Automata. Electronic Notes in Theoretical Computer Science. Elsevier, 2009, vol. 2009, No 239, p. 73-83. ISSN 1571-0661.

BRÁZDIL, Tomáš, Václav BROŽEK, Antonín KUČERA and Jan OBDRŽÁLEK. Qualitative Reachability in Stochastic BPA Games. In Proceedings of the 26th International Symposium on Theoretical Aspects of Computer Science. Freiburg, Germany: IBFI Schloss Dagstuhl, 2009, p. 207-218. ISBN 978-3-939897-09-5.

BROŽEK, Václav. Regularity in PDA Games Revisited. Electronic Notes in Theoretical Computer Science. Amsterdam, The Netherlands: Elsevier Science Publishers, 2009, vol. 2009, No 251, p. 5-16. ISSN 1571-0661.

BRÁZDIL, Tomáš, Václav BROŽEK, Jan HOLEČEK and Antonín KUČERA. Discounted Properties of Probabilistic Pushdown Automata. In Logic for Programming, Artificial Intelligence, and Reasoning, 15th International Conference, LPAR 2008. Berlin Heidelberg New York: Springer, 2008, p. 230-242. ISBN 978-3-540-89438-4.

BRÁZDIL, Tomáš, Václav BROŽEK, Vojtěch FOREJT and Antonín KUČERA. Reachability in Recursive Markov Decision Processes. Information and Computation. Elsevier, 2008, vol. 206, No 5, p. 520-537. ISSN 0890-5401.

BROŽEK, Václav. Regularity in PDA Games Revisited. In MEMICS 2008 proceedings. Brno: L. Matyska, D. Antoš, M. Češka, Z. Kotásek, T. Vojnar, M. Křetínský (Eds.), 2008, p. 21-28. ISBN 978-80-7355-082-0.

BRÁZDIL, Tomáš, Václav BROŽEK and Vojtěch FOREJT. Branching-Time Model-Checking of Probabilistic Pushdown Automata. In Proc. of 9th Internat. Workshop on Verification of Infinite-State Systems. 2007.

BRÁZDIL, Tomáš, Václav BROŽEK and Vojtěch FOREJT. Branching-Time Model-Checking of Probabilistic Pushdown Automata. In Proc. of 9th Internat. Workshop on Verification of Infinite-State Systems. Lisboa: Univerisity of Lisboa, 2007, p. 24-33.

BROŽEK, Václav. Regularity in Model Checking PDA Games. In MEMICS proceedings. Brno: Luděk Matyska, David Antoš, Milan Češka, Mojmír Křetínský, and Petr Hliněný (Eds.), 2007, p. 27-34. ISBN 978-80-7355-077-6.

BRÁZDIL, Tomáš, Václav BROŽEK, Vojtěch FOREJT and Antonín KUČERA. Reachability in Recursive Markov Decision Processes. C. Baier, H. Hermanns (Eds.). In 17th International Conference on Concurrency Theory. Berlin Heidelberg New York: Springer, 2006, p. 358-374. ISBN 3-540-37376-4.

BRÁZDIL, Tomáš, Václav BROŽEK, Vojtěch FOREJT and Antonín KUČERA. Stochastic Games with Branching-Time Winning Objectives. In 21th IEEE Symposium on Logic in Computer Science (LICS 2006), 12-15 August 2006, Seattle, Washington, USA, Proceedings. Los Alamitos, California: IEEE Computer Society, 2006, p. 349-358. ISBN 0-7695-2631-4.