Češka, Milan

4 publications

JAIR 2025 An Oracle-Guided Approach to Constrained Policy Synthesis Under Uncertainty Roman Andriushchenko, Milan Ceska, Filip Macák, Sebastian Junges, Joost-Pieter Katoen

IJCAI 2025 Robust Finite-Memory Policy Gradients for Hidden-Model POMDPs Maris F. L. Galesloot, Roman Andriushchenko, Milan Ceska, Sebastian Junges, Nils Jansen

UAI 2025 Symbiotic Local Search for Small Decision Tree Policies in MDPs Roman Andriushchenko, Milan Ceska, Debraj Chakraborty, Sebastian Junges, Jan Kretinsky, Filip Macák

UAI 2022 Inductive Synthesis of Finite-State Controllers for POMDPs Roman Andriushchenko, Milan Češka, Sebastian Junges, Joost-Pieter Katoen