Milan Ceska
4 papers · 2022–2026 · 3 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 ↓
🌍
Conference Polyglot · Bronze
🌉
Interdisciplinary Bridge · Bronze
Top co-authors
Research topics
Keywords
partially observable markov decision process
(2)
markov decision process
(2)
formal verification
(1)
constraint satisfaction
(1)
policy interpretability
(1)
policy synthesis
(1)
robust policy
(1)
local search
(1)
finite-state controller
(1)
inductive synthesis
(1)
oracle-guided synthesis
(1)
belief-based approach
(1)
multi-objective specification
(1)
decision tree policy
(1)
probabilistic model checking
(1)
robust optimization
(1)
subgradient ascent
(1)
policy gradient
(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