Milan Ceska
4 papers · 2022–2026 · 3 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓
🌍
Conference Polyglot
(2)
🌉
Interdisciplinary Bridge
🧭
Keyword Pioneer
🐝
Cross-Pollinator
(11)
Conferences
UAI (2)
AAAI (1)
IJCAI (1)
Top co-authors
Keywords
partially observable markov decision process
(2)
policy gradient
(1)
formal verification
(1)
markov decision process
(1)
constraint satisfaction
(1)
policy synthesis
(1)
robust policy
(1)
finite-state controller
(1)
inductive synthesis
(1)
oracle-guided synthesis
(1)
belief-based approach
(1)
multi-objective specification
(1)
probabilistic model checking
(1)
robust optimization
(1)
subgradient ascent
(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
Inductive synthesis of finite-state controllers for POMDPs
UAI 2022