Junges, Sebastian

12 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

IJCAI 2024 Approximate Dec-POMDP Solving Using Multi-Agent A* Wietze Koops, Sebastian Junges, Nils Jansen

AAAI 2024 Factored Online Planning in Many-Agent POMDPs Maris F. L. Galesloot, Thiago D. Simão, Sebastian Junges, Nils Jansen

IJCAI 2024 Imprecise Probabilities Meet Partial Observability: Game Semantics for Robust POMDPs Eline M. Bovy, Marnix Suilen, Sebastian Junges, Nils Jansen

ICMLW 2023 Learning Formal Specifications from Membership and Preference Queries Ameesh Shah, Marcell Vazquez-Chanlatte, Sebastian Junges, Sanjit A. Seshia

IJCAI 2023 Recursive Small-Step Multi-Agent A* for Dec-POMDPs Wietze Koops, Nils Jansen, Sebastian Junges, Thiago D. Simão

AAAI 2023 Safe Reinforcement Learning via Shielding Under Partial Observability Steven Carr, Nils Jansen, Sebastian Junges, Ufuk Topcu

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

AAAI 2021 Robust Finite-State Controllers for Uncertain POMDPs Murat Cubuktepe, Nils Jansen, Sebastian Junges, Ahmadreza Marandi, Marnix Suilen, Ufuk Topcu

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