Sebastian Junges

11 papers · 2021–2026 · 4 conferences · across top CS/AI conferences

Achievements

🐝 Cross-Pollinator (14) 🌍 Conference Polyglot (4) 🧭 Keyword Pioneer 🐣 Hot Topic Early Bird 🏃 Academic Marathon (5) 🌉 Interdisciplinary Bridge 🗺️ Taxonomy Completionist (15) 🔥 Unstoppable (5) 💎 Century Club (10)

Conferences

AAAI (4) IJCAI (4) UAI (2) RSS (1)

Top co-authors

Nils Jansen (7) Milan Ceska (4) Roman Andriushchenko (3) Wietze Koops (2) Marnix Suilen (2) Maris F. L. Galesloot (2) Filip Macák (2) Thiago D. Simão (2) Ufuk Topcu (2) Daniel J Fremont (1)

Keywords

partially observable markov decision process (3) robust policy (2) stochastic game (2) partial observability (2) multi-agent planning (2) formal verification (1) heuristic search (1) particle filtering (1) online planning (1) epistemic uncertainty (1) constraint satisfaction (1) approximate planning (1) nash equilibrium (1) safe reinforcement learning (1) multi-agent pomdp (1) markov decision process (1) policy gradient (1) deep rl (1) policy synthesis (1) robust optimization (1)

Papers

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

Symbiotic Local Search for Small Decision Tree Policies in MDPs UAI 2025

Robust Finite-Memory Policy Gradients for Hidden-Model POMDPs IJCAI 2025

Approximate Dec-POMDP Solving Using Multi-Agent A* IJCAI 2024

Factored Online Planning in Many-Agent POMDPs AAAI 2024

Imprecise Probabilities Meet Partial Observability: Game Semantics for Robust POMDPs IJCAI 2024

Recursive Small-Step Multi-Agent A* for Dec-POMDPs IJCAI 2023

Safe Reinforcement Learning via Shielding under Partial Observability AAAI 2023

Inductive synthesis of finite-state controllers for POMDPs UAI 2022

Robust Finite-State Controllers for Uncertain POMDPs AAAI 2021

Entropy-Guided Control Improvisation RSS 2021