| 2025 | AAAI | Multiple Mean-Payoff Optimization Under Local Stability Constraints. | David Klaska, Antonn Kucera, Vojtech Kur, Vt Musil, Vojtech Rehk |
| 2024 | AAAI | Optimizing Local Satisfaction of Long-Run Average Objectives in Markov Decision Processes. | David Klaska, Antonn Kucera, Vojtech Kur, Vt Musil, Vojtech Rehk |
| 2023 | IJCAI | Synthesizing Resilient Strategies for Infinite-Horizon Objectives in Multi-Agent Systems. | David Klaska, Antonn Kucera, Martin Kurecka, Vt Musil, Petr Novotn, Vojtech Rehk |
| 2023 | IJCAI | Mean Payoff Optimization for Systems of Periodic Service and Maintenance. | David Klaska, Antonn Kucera, Vt Musil, Vojtech Rehk |
| 2022 | IJCAI | General Optimization Framework for Recurrent Reachability Objectives. | David Klaska, Antonn Kucera, Vt Musil, Vojtech Rehk |
| 2022 | UAI | On-the-fly adaptation of patrolling strategies in changing environments. | Toms Brzdil, David Klaska, Antonn Kucera, Vt Musil, Petr Novotn, Vojtech Rehk |
| 2021 | UAI | Regstar: efficient strategy synthesis for adversarial patrolling games. | David Klaska, Antonn Kucera, Vt Musil, Vojtech Rehk |
| 2018 | IJCAI | Solving Patrolling Problems in the Internet Environment. | Toms Brzdil, Antonn Kucera, Vojtech Rehk |
| 2017 | ATVA | Synthesis of Optimal Resilient Control Strategies. | Christel Baier, Clemens Dubslaff, Lubos Korenciak, Antonn Kucera, Vojtech Rehk |
| 2016 | IFM | Extension of PRISM by Synthesis of Optimal Timeouts in Fixed-Delay CTMC. | Lubos Korenciak, Vojtech Rehk, Adrian Farmadin |
| 2016 | MASCOTS | Efficient Timeout Synthesis in Fixed-Delay CTMC Using Policy Iteration. | Lubos Korenciak, Antonn Kucera, Vojtech Rehk |
| 2012 | TACAS | LTL to Bchi Automata Translation: Fast and More Deterministic. | Toms Babiak, Mojmr Kretnsk, Vojtech Rehk, Jan Strejcek |
| 2011 | CONCUR | Fixed-Delay Events in Generalized Semi-Markov Processes Revisited. | Toms Brzdil, Jan Krcl, Jan Kretnsk, Vojtech Rehk |
| 2010 | CONCUR | Stochastic Real-Time Games with Qualitative Timed Automata Objectives. | Toms Brzdil, Jan Krcl, Jan Kretnsk, Antonn Kucera, Vojtech Rehk |
| 2006 | FMICS | Verifying VHDL Designs with Multiple Clocks in SMV. | Ales Smrcka, Vojtech Rehk, Toms Vojnar, David Safrnek, Petr Matousek, Z. Rehk |
| 2004 | CONCUR | Extended Process Rewrite Systems: Expressiveness and Reachability. | Mojmr Kretnsk, Vojtech Rehk, Jan Strejcek |