Macák, Filip

2 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

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