Roman Andriushchenko

25 papers A* 1A 3Journal 13Unranked 8
YearRankTypeTitle / Venue / Authors
2026 J jnl
Search and explore: symbiotic policy synthesis in POMDPs.
Formal Methods Syst. Des.
Roman Andriushchenko, Alexander Bork, Milan Ceska, Sebastian Junges, Joost-Pieter Katoen, Filip Macák
2025 J jnl
An Oracle-Guided Approach to Constrained Policy Synthesis Under Uncertainty.
J. Artif. Intell. Res.
Roman Andriushchenko, Milan Ceska, Filip Macák, Sebastian Junges, Joost-Pieter Katoen
2025 A conf
Decentralized Planning Using Probabilistic Hyperproperties.
AAMAS
Francesco Pontiggia, Filip Macák, Roman Andriushchenko, Michele Chiari, Milan Ceska
2025 J jnl
Decentralized Planning Using Probabilistic Hyperproperties.
CoRR
Francesco Pontiggia, Filip Macák, Roman Andriushchenko, Michele Chiari, Milan Ceska
2025 A* conf
Robust Finite-Memory Policy Gradients for Hidden-Model POMDPs.
IJCAI
Maris F. L. Galesloot, Roman Andriushchenko, Milan Ceska, Sebastian Junges, Nils Jansen
2025 — conf
Small Decision Trees for MDPs with Deductive Synthesis.
CAV (2)
Roman Andriushchenko, Milan Ceska, Sebastian Junges, Filip Macák
2025 J jnl
Small Decision Trees for MDPs with Deductive Synthesis.
CoRR
Roman Andriushchenko, Milan Ceska, Sebastian Junges, Filip Macák
2025 A conf
Symbiotic Local Search for Small Decision Tree Policies in MDPs.
UAI
Roman Andriushchenko, Milan Ceska, Debraj Chakraborty, Sebastian Junges, Jan Kretínský, Filip Macák
2025 J jnl
rfPG: Robust Finite-Memory Policy Gradients for Hidden-Model POMDPs.
CoRR
Maris F. L. Galesloot, Roman Andriushchenko, Milan Ceska, Sebastian Junges, Nils Jansen
2024 J jnl
Abstraction-based segmental simulation of reaction networks using adaptive memoization.
BMC Bioinform.
Martin Helfrich, Roman Andriushchenko, Milan Ceska, Jan Kretínský, Stefan Marticek, David Safránek
2024 — conf
Policies Grow on Trees: Model Checking Families of MDPs.
ATVA (2)
Roman Andriushchenko, Milan Ceska, Sebastian Junges, Filip Macák
2024 J jnl
Policies Grow on Trees: Model Checking Families of MDPs.
CoRR
Roman Andriushchenko, Milan Ceska, Sebastian Junges, Filip Macák
2024 J jnl
Tools at the Frontiers of Quantitative Verification.
CoRR
Roman Andriushchenko, Alexander Bork, Carlos E. Budde, Milan Ceska, Kush Grover, Ernst Moritz Hahn, Arnd Hartmanns, Bryant Israelsen, Nils Jansen, Joshua Jeppson, Sebastian Junges, Maximilian A. Köhl, Bettina Könighofer, Jan Kretínský, Tobias Meggendorfer, David Parker, Stefan Pranger, Tim Quatmann, Enno Ruijters, Landon Taylor, Matthias Volk, Maximilian Weininger, Zhen Zhang
2023 — conf
Deductive Controller Synthesis for Probabilistic Hyperproperties.
QEST
Roman Andriushchenko, Ezio Bartocci, Milan Ceska, Francesco Pontiggia, Sarah Sallinger
2023 J jnl
Deductive Controller Synthesis for Probabilistic Hyperproperties.
CoRR
Roman Andriushchenko, Ezio Bartocci, Milan Ceska, Francesco Pontiggia, Sarah Sallinger
2023 — conf
Search and Explore: Symbiotic Policy Synthesis in POMDPs.
CAV (3)
Roman Andriushchenko, Alexander Bork, Milan Ceska, Sebastian Junges, Joost-Pieter Katoen, Filip Macák
2023 J jnl
Search and Explore: Symbiotic Policy Synthesis in POMDPs.
CoRR
Roman Andriushchenko, Alexander Bork, Milan Ceska, Sebastian Junges, Joost-Pieter Katoen, Filip Macák
2023 — conf
Tools at the Frontiers of Quantitative Verification - QComp 2023 Competition Report.
TOOLympics@ETAPS
Roman Andriushchenko, Alexander Bork, Carlos E. Budde, Milan Ceska, Kush Grover, Ernst Moritz Hahn, Arnd Hartmanns, Bryant Israelsen, Nils Jansen, Joshua Jeppson, Sebastian Junges, Maximilian A. Köhl, Bettina Könighofer, Jan Kretínský, Tobias Meggendorfer, David Parker, Stefan Pranger, Tim Quatmann, Enno Ruijters, Landon Taylor, Matthias Volk, Maximilian Weininger, Zhen Zhang
2022 — conf
GPU-Accelerated Synthesis of Probabilistic Programs.
EUROCAST
Roman Andriushchenko, Milan Ceska, Vladimír Marcin, Tomás Vojnar
2022 J jnl
Inductive Synthesis of Finite-State Controllers for POMDPs.
CoRR
Roman Andriushchenko, Milan Ceska, Sebastian Junges, Joost-Pieter Katoen
2022 A conf
Inductive synthesis of finite-state controllers for POMDPs.
UAI
Roman Andriushchenko, Milan Ceska, Sebastian Junges, Joost-Pieter Katoen
2021 J jnl
Adaptive formal approximations of Markov chains.
Perform. Evaluation
Alessandro Abate, Roman Andriushchenko, Milan Ceska, Marta Kwiatkowska
2021 — conf
Inductive Synthesis for Probabilistic Programs Reaches New Horizons.
TACAS (1)
Roman Andriushchenko, Milan Ceska, Sebastian Junges, Joost-Pieter Katoen
2021 J jnl
Inductive Synthesis for Probabilistic Programs Reaches New Horizons.
CoRR
Roman Andriushchenko, Milan Ceska, Sebastian Junges, Joost-Pieter Katoen
2021 — conf
PAYNT: A Tool for Inductive Synthesis of Probabilistic Programs.
CAV (1)
Roman Andriushchenko, Milan Ceska, Sebastian Junges, Joost-Pieter Katoen, Simon Stupinský