Roman Andriushchenko
3 papers · 2022–2025 · 2 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)
policy gradient
(1)
formal verification
(1)
markov decision process
(1)
policy interpretability
(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)
robust optimization
(1)
subgradient ascent
(1)