Sebastian Junges
11 papers · 2021–2026 · 4 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+4 more ↓ Show less ↑
π 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
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