Sebastian Junges
11 papers · 2021–2026 · 4 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓+2 more ↓ Show less ↑
🌉 Interdisciplinary Bridge · Bronze 🗺️ Taxonomy Completionist (17) 🏃 Academic Marathon · Sprint 🌍 Conference Polyglot · Bronze 🔥 Unstoppable · Bronze
💎
Century Club · Bronze
🗃️
Keyword Collector
(52)
Top co-authors
Research topics
Keywords
partially observable markov decision process
(3)
multi-agent planning
(2)
stochastic game
(2)
partial observability
(2)
markov decision process
(2)
robust policy
(2)
formal verification
(1)
heuristic search
(1)
particle filtering
(1)
online planning
(1)
constraint satisfaction
(1)
approximate planning
(1)
epistemic uncertainty
(1)
nash equilibrium
(1)
safe reinforcement learning
(1)
multi-agent pomdp
(1)
policy gradient
(1)
policy interpretability
(1)
deep rl
(1)
robust optimization
(1)
Papers
Constrained and Robust Policy Synthesis with Satisfiability-Modulo-Probabilistic-Model-Checking
AAAI 2026
Robust Finite-Memory Policy Gradients for Hidden-Model POMDPs
IJCAI 2025
Symbiotic Local Search for Small Decision Tree Policies in MDPs
UAI 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
Entropy-Guided Control Improvisation
RSS 2021
Robust Finite-State Controllers for Uncertain POMDPs
AAAI 2021