Katoen, Joost-Pieter

7 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 Multi-Cost-Bounded Reachability Analysis of POMDPs Alexander Bork, Joost-Pieter Katoen, Tim Quatmann, Svenja Stein

AAAI 2024 Natural Strategic Ability in Stochastic Multi-Agent Systems Raphaël Berthon, Joost-Pieter Katoen, Munyque Mittelmann, Aniello Murano

JAIR 2023 Automatically Finding the Right Probabilities in Bayesian Networks Bahare Salmani, Joost-Pieter Katoen

IJCAI 2023 Finding an Ε-Close Minimal Variation of Parameters in Bayesian Networks Bahare Salmani, Joost-Pieter Katoen

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

UAI 2018 Finite-State Controllers of POMDPs Using Parameter Synthesis Sebastian Junges, Nils Jansen, Ralf Wimmer, Tim Quatmann, Leonore Winterer, Joost-Pieter Katoen, Bernd Becker