Publications

Linus Heck, Filip Macák, Milan Češka and Sebastian Junges: “Constrained and Robust Policy Synthesis with Satisfiability-Modulo-Probabilistic-Model-Checking”. (To appear) in AAAI, 2026.
Roman Andriushchenko, Alex Bork, Milan Češka, Sebastian Junges, Joost-Pieter Katoen, and Filip Macák: “Search and Explore: Symbiotic Policy Synthesis in POMDPs”. Form. Methods Syst. Des. (CAV’23 special issue), 2026.

Roman Andriushchenko, Milan Češka, Filip Macák, Sebastian Junges, and Joost-Pieter Katoen: “An Oracle-Guided Approach to Constrained Policy Synthesis Under Uncertainty”. J. Artif. Intell. Res., 2025.
Francesco Pontiggia, Filip Macák, Roman Andriushchenko, Michele Chiari and Milan Češka: “Decentralized Planning Using Probabilistic Hyperproperties”. In AAMAS, 2025. Best Student Paper Award
Roman Andriushchenko, Milan Češka, Sebastian Junges and Filip Macák: “Small Decision Trees for MDPs with Deductive Synthesis”. In CAV, 2025.
Roman Andriushchenko, Milan Češka, Debraj Chakraborty, Sebastian Junges, Jan Křetínský and Filip Macák: “Symbiotic Local Search for Small Decision Tree Policies in MDPs”. In UAI, 2025.

Roman Andriushchenko, Milan Češka, Sebastian Junges and Filip Macák: “Policies Grow on Trees: Model Checking Families of MDPs”. In ATVA, 2024. Distinguished Paper Award

Roman Andriushchenko, Alex Bork, Milan Češka, Filip Macák, Sebastian Junges, and Joost-Pieter Katoen: “Search and Explore: Symbiotic Policy Synthesis in POMDPs”. In CAV, 2023.