Milan Ceska
4 papers
· 2022–2026
· 3 conferences
· across top CS/AI conferences
Achievements
🌍
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)