Sebastian Junges

Venues

Frequent coauthors

Papers

1. Constrained and Robust Policy Synthesis with Satisfiability-Modulo-Probabilistic-Model-Checking
   AAAI 2026 ·

   Linus Heck

   DBLP profile ↗ORCID search ↗
2. Robust Finite-Memory Policy Gradients for Hidden-Model POMDPs
   IJCAI 2025 ·

   Maris F. L. Galesloot

   DBLP profile ↗ORCID search ↗
3. Symbiotic Local Search for Small Decision Tree Policies in MDPs
   UAI 2025 ·

   Roman Andriushchenko

   DBLP profile ↗ORCID search ↗
4. Tighter Value-Function Approximations for POMDPs
   AAMAS 2025 ·

   Merlijn Krale

   DBLP profile ↗ORCID search ↗
5. Approximate Dec-POMDP Solving Using Multi-Agent A*
   IJCAI 2024 ·

   Wietze Koops

   DBLP profile ↗ORCID search ↗
6. Factored Online Planning in Many-Agent POMDPs
   AAAI 2024 ·

   Maris F. L. Galesloot

   DBLP profile ↗ORCID search ↗
7. Imprecise Probabilities Meet Partial Observability: Game Semantics for Robust POMDPs
   IJCAI 2024 ·

   Eline M. Bovy

   DBLP profile ↗ORCID search ↗