Roman Andriushchenko
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
5
Active years
2021–2026
Best venue rank
A*
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CAV | Shields to Guarantee Probabilistic Safety in MDPs. | Linus Heck, Filip Mack, Roman Andriushchenko, Milan Ceska, Sebastian Junges |
| 2025 | CAV | Small Decision Trees for MDPs with Deductive Synthesis. | Roman Andriushchenko, Milan Ceska, Sebastian Junges, Filip Mack |
| 2025 | IJCAI | Robust Finite-Memory Policy Gradients for Hidden-Model POMDPs. | Maris F. L. Galesloot, Roman Andriushchenko, Milan Ceska, Sebastian Junges, Nils Jansen |
| 2025 | UAI | Symbiotic Local Search for Small Decision Tree Policies in MDPs. | Roman Andriushchenko, Milan Ceska, Debraj Chakraborty, Sebastian Junges, Jan Kretnsk, Filip Mack |
| 2024 | ATVA | Policies Grow on Trees: Model Checking Families of MDPs. | Roman Andriushchenko, Milan Ceska, Sebastian Junges, Filip Mack |
| 2023 | CAV | Search and Explore: Symbiotic Policy Synthesis in POMDPs. | Roman Andriushchenko, Alexander Bork, Milan Ceska, Sebastian Junges, Joost-Pieter Katoen, Filip Mack |
| 2022 | UAI | Inductive synthesis of finite-state controllers for POMDPs. | Roman Andriushchenko, Milan Ceska, Sebastian Junges, Joost-Pieter Katoen |
| 2021 | CAV | PAYNT: A Tool for Inductive Synthesis of Probabilistic Programs. | Roman Andriushchenko, Milan Ceska, Sebastian Junges, Joost-Pieter Katoen, Simon Stupinsk |
| 2021 | TACAS | Inductive Synthesis for Probabilistic Programs Reaches New Horizons. | Roman Andriushchenko, Milan Ceska, Sebastian Junges, Joost-Pieter Katoen |