Kretinsky, Jan

4 publications

NeurIPS 2025 Explainably Safe Reinforcement Learning Sabine Rieder, Stefan Pranger, Debraj Chakraborty, Jan Kretinsky, Bettina Könighofer

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

IJCAI 2021 LTL-Constrained Steady-State Policy Synthesis Jan Kretínský

UAI 2020 Finite-Memory Near-Optimal Learning for Markov Decision Processes with Long-Run Average Reward Jan Kretinsky, Fabian Michel, Lukas Michel, Guillermo Perez