| 2022 | UAI | On-the-fly adaptation of patrolling strategies in changing environments. | Toms Brzdil, David Klaska, Antonn Kucera, Vt Musil, Petr Novotn, Vojtech Rehk |
| 2020 | AAAI | Reinforcement Learning of Risk-Constrained Policies in Markov Decision Processes. | Toms Brzdil, Krishnendu Chatterjee, Petr Novotn, Jiri Vahala |
| 2020 | CAV | Qualitative Controller Synthesis for Consumption Markov Decision Processes. | Frantisek Blahoudek, Toms Brzdil, Petr Novotn, Melkior Ornik, Pranay Thangeda, Ufuk Topcu |
| 2019 | AAAI | Unbounded Orchestrations of Transducers for Manufacturing. | Natasha Alechina, Toms Brzdil, Giuseppe De Giacomo, Paolo Felli, Brian Logan, Moshe Y. Vardi |
| 2019 | ATVA | Deciding Fast Termination for Probabilistic VASS with Nondeterminism. | Toms Brzdil, Krishnendu Chatterjee, Antonn Kucera, Petr Novotn, Dominik Velan |
| 2018 | IJCAI | Solving Patrolling Problems in the Internet Environment. | Toms Brzdil, Antonn Kucera, Vojtech Rehk |
| 2018 | ISoLA | Monte Carlo Tree Search for Verifying Reachability in Markov Decision Processes. | Pranav Ashok, Toms Brzdil, Jan Kretnsk, Ondrej Slmecka |
| 2018 | LICS | Efficient Algorithms for Asymptotic Bounds on Termination Time in VASS. | Toms Brzdil, Krishnendu Chatterjee, Antonn Kucera, Petr Novotn, Dominik Velan, Florian Zuleger |
| 2018 | TACAS | Strategy Representation by Decision Trees in Reactive Synthesis. | Toms Brzdil, Krishnendu Chatterjee, Jan Kretnsk, Viktor Toman |
| 2016 | ATVA | Optimizing the Expected Mean Payoff in Energy Markov Decision Processes. | Toms Brzdil, Antonn Kucera, Petr Novotn |
| 2016 | CONCUR | Stability in Graphs and Games. | Toms Brzdil, Vojtech Forejt, Antonn Kucera, Petr Novotn |
| 2015 | CAV | Counterexample Explanation by Learning Small Strategies in Markov Decision Processes. | Toms Brzdil, Krishnendu Chatterjee, Martin Chmelik, Andreas Fellner, Jan Kretnsk |
| 2015 | LICS | Long-Run Average Behaviour of Probabilistic Vector Addition Systems. | Toms Brzdil, Stefan Kiefer, Antonn Kucera, Petr Novotn |
| 2015 | TACAS | MultiGain: A Controller Synthesis Tool for MDPs with Multiple Mean-Payoff Objectives. | Toms Brzdil, Krishnendu Chatterjee, Vojtech Forejt, Antonn Kucera |
| 2014 | ATVA | Verification of Markov Decision Processes Using Learning Algorithms. | Toms Brzdil, Krishnendu Chatterjee, Martin Chmelik, Vojtech Forejt, Jan Kretnsk, Marta Z. Kwiatkowska, David Parker, Mateusz Ujma |
| 2014 | CAV | Minimizing Running Costs in Consumption Systems. | Toms Brzdil, David Klaska, Antonn Kucera, Petr Novotn |
| 2014 | CSL | Zero-reachability in probabilistic multi-counter automata. | Toms Brzdil, Stefan Kiefer, Antonn Kucera, Petr Novotn, Joost-Pieter Katoen |
| 2013 | LICS | Trading Performance for Stability in Markov Decision Processes. | Toms Brzdil, Krishnendu Chatterjee, Vojtech Forejt, Antonn Kucera |
| 2012 | CAV | Efficient Controller Synthesis for Consumption Games with Multiple Resource Types. | Toms Brzdil, Krishnendu Chatterjee, Antonn Kucera, Petr Novotn |
| 2012 | ICALP | Minimizing Expected Termination Time in One-Counter Markov Decision Processes. | Toms Brzdil, Antonn Kucera, Petr Novotn, Dominik Wojtczak |
| 2012 | STACS | Stabilization of Branching Queueing Networks. | Toms Brzdil, Stefan Kiefer |
| 2011 | CAV | Efficient Analysis of Probabilistic Programs with an Unbounded Counter. | Toms Brzdil, Stefan Kiefer, Antonn Kucera |
| 2011 | CONCUR | Fixed-Delay Events in Generalized Semi-Markov Processes Revisited. | Toms Brzdil, Jan Krcl, Jan Kretnsk, Vojtech Rehk |
| 2011 | ICALP | Approximating the Termination Value of One-Counter MDPs and Stochastic Games. | Toms Brzdil, Vclav Brozek, Kousha Etessami, Antonn Kucera |
| 2011 | ICALP | Runtime Analysis of Probabilistic Programs with Unbounded Recursion. | Toms Brzdil, Stefan Kiefer, Antonn Kucera, Ivana Hutarov Varekov |
| 2011 | LICS | Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes. | Toms Brzdil, Vclav Brozek, Krishnendu Chatterjee, Vojtech Forejt, Antonn Kucera |
| 2010 | CONCUR | Stochastic Real-Time Games with Qualitative Timed Automata Objectives. | Toms Brzdil, Jan Krcl, Jan Kretnsk, Antonn Kucera, Vojtech Rehk |
| 2010 | ICALP | Space-Efficient Scheduling of Stochastically Generated Tasks. | Toms Brzdil, Javier Esparza, Stefan Kiefer, Michael Luttenberger |
| 2010 | ICALP | Reachability Games on Extended Vector Addition Systems with States. | Toms Brzdil, Petr Jancar, 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 | ICALP | Controller Synthesis and Verification for Markov Decision Processes with Qualitative Branching Time Objectives. | Toms Brzdil, Vojtech Forejt, Antonn Kucera |
| 2008 | LICS | The Satisfiability Problem for Probabilistic CTL. | Toms Brzdil, Vojtech Forejt, Jan Kretnsk, Antonn Kucera |
| 2008 | LPAR | Discounted Properties of Probabilistic Pushdown Automata. | Toms Brzdil, Vclav Brozek, Jan Holecek, Antonn Kucera |
| 2007 | CONCUR | Strategy Synthesis for Markov Decision Processes and Branching-Time Logics. | Toms Brzdil, Vojtech Forejt |
| 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 |
| 2005 | FOCS | Analysis and Prediction of the Long-Run Behavior of Probabilistic Sequential Programs with Recursion (Extended Abstract). | Toms Brzdil, Javier Esparza, Antonn Kucera |
| 2005 | STACS | On the Decidability of Temporal Properties of Probabilistic Pushdown Automata. | Toms Brzdil, Antonn Kucera, Oldrich Strazovsk |
| 2004 | CONCUR | Deciding Probabilistic Bisimilarity Over Infinite-State Probabilistic Systems. | Toms Brzdil, Antonn Kucera, Oldrich Strazovsk |