Publication Records

BRÁZDIL, Tomáš, Vojtěch FOREJT and Antonín KUČERA. Controller Synthesis and Verification for Markov Decision Processes with Qualitative Branching Time Objectives. In Automata, Languages and Programming. 35th International Colloquium, ICALP 2008. Reykjavik, Iceland, July 2008. Proceedings, Part II. Berlin, Heidelberg, New York: Springer, 2008, p. 148-159. ISBN 3-540-70582-1.

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.

BRÁZDIL, Tomáš and Vojtěch FOREJT. Strategy Synthesis for Markov Decision Processes and Branching-Time Logics. In MEMICS proceedings. 2007. ISBN 978-80-7355-077-6.

BRÁZDIL, Tomáš and Vojtěch FOREJT. Strategy Synthesis for Markov Decision Processes and Branching-Time Logics. Luís Caires, Vasco Thudichum Vasconcelos (Eds.). In Proceedings of 18th International Conference on Concurrency Theory (CONCUR 2007). Berlin Heidelberg New York: Springer, 2007, p. 428-444. ISBN 978-3-540-74406-1.

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.

KUČERA, Antonín and Oldřich STRAŽOVSKÝ. On the Controller Synthesis for Finite-State Markov Decision Processes. In 25th International Conference on Foundations of Software Technology and Theoretical Computer Science. Berlin Heidelberg New York: Springer, 2005, p. 541-552. ISBN 3-540-30495-9.