Roman Andriushchenko

According to our database, Roman Andriushchenko authored at least 21 papers between 2021 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Abstraction-based segmental simulation of reaction networks using adaptive memoization.

Martin Helfrich, Roman Andriushchenko, Milan Ceska, Jan Kretínský, Stefan Marticek, David Safránek

BMC Bioinform., December, 2024

Artifact supplement for 'An Oracle-Guided Approach to Constrained Controller Synthesis Under Uncertainty'.

Roman Andriushchenko, Milan Ceska, Sebastian Junges, Joost-Pieter Katoen, Filip Macák

Dataset, May, 2024

Artifact supplement for 'An Oracle-Guided Approach to Constrained Controller Synthesis Under Uncertainty'.

Roman Andriushchenko, Milan Ceska, Sebastian Junges, Joost-Pieter Katoen, Filip Macák

Dataset, May, 2024

Artifact supplement for 'An Oracle-Guided Approach to Constrained Controller Synthesis Under Uncertainty'.

Roman Andriushchenko, Milan Ceska, Sebastian Junges, Joost-Pieter Katoen, Filip Macák

Dataset, February, 2024

Policies Grow on Trees: Model Checking Families of MDPs.

Roman Andriushchenko, Milan Ceska, Sebastian Junges, Filip Macák

CoRR, 2024

Tools at the Frontiers of Quantitative Verification.

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

CoRR, 2024

2023

Artifact supplement for "Deductive Controller Synthesis for Probabilistic Hyperproperties".

Roman Andriushchenko, Ezio Bartocci, Milan Ceska, Francesco Pontiggia, Sarah Sallinger

Dataset, July, 2023

Artifact supplement for "Deductive Controller Synthesis for Probabilistic Hyperproperties".

Roman Andriushchenko, Ezio Bartocci, Milan Ceska, Francesco Pontiggia, Sarah Sallinger

Dataset, June, 2023

Artifact supplement for "Deductive Controller Synthesis for Probabilistic Hyperproperties".

Roman Andriushchenko, Ezio Bartocci, Milan Ceska, Francesco Pontiggia, Sarah Sallinger

Dataset, May, 2023

Artifact supplement for "Deductive Controller Synthesis for Probabilistic Hyperproperties".

Roman Andriushchenko, Ezio Bartocci, Milan Ceska, Francesco Pontiggia, Sarah Sallinger

Dataset, May, 2023

Artifact supplement for "Deductive Controller Synthesis for Probabilistic Hyperproperties".

Roman Andriushchenko, Ezio Bartocci, Milan Ceska, Francesco Pontiggia, Sarah Sallinger

Dataset, May, 2023

Artifact supplement for 'Search and Explore: Symbiotic Policy Synthesis in POMDPs'.

Roman Andriushchenko, Alexander Bork, Milan Ceska, Sebastian Junges, Joost-Pieter Katoen, Filip Macák

Dataset, April, 2023

Artifact supplement for 'Search and Explore: Symbiotic Policy Synthesis in POMDPs'.

Roman Andriushchenko, Alexander Bork, Milan Ceska, Sebastian Junges, Joost-Pieter Katoen, Filip Macák

Dataset, April, 2023

Artifact supplement for 'Search and Explore: Symbiotic Policy Synthesis in POMDPs'.

Roman Andriushchenko, Alexander Bork, Milan Ceska, Sebastian Junges, Joost-Pieter Katoen, Filip Macák

Dataset, April, 2023

Deductive Controller Synthesis for Probabilistic Hyperproperties.

Roman Andriushchenko, Ezio Bartocci, Milan Ceska, Francesco Pontiggia, Sarah Sallinger

Proceedings of the Quantitative Evaluation of Systems - 20th International Conference, 2023

Search and Explore: Symbiotic Policy Synthesis in POMDPs.

Roman Andriushchenko, Alexander Bork, Milan Ceska, Sebastian Junges, Joost-Pieter Katoen, Filip Macák

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

2022

Inductive synthesis of finite-state controllers for POMDPs.

Roman Andriushchenko, Milan Ceska, Sebastian Junges, Joost-Pieter Katoen

Proceedings of the Uncertainty in Artificial Intelligence, 2022

GPU-Accelerated Synthesis of Probabilistic Programs.

Roman Andriushchenko, Milan Ceska, Vladimír Marcin, Tomás Vojnar

Proceedings of the Computer Aided Systems Theory - EUROCAST 2022, 2022

2021

Adaptive formal approximations of Markov chains.

Alessandro Abate, Roman Andriushchenko, Milan Ceska, Marta Kwiatkowska

Perform. Evaluation, 2021

Inductive Synthesis for Probabilistic Programs Reaches New Horizons.

Roman Andriushchenko, Milan Ceska, Sebastian Junges, Joost-Pieter Katoen

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021

PAYNT: A Tool for Inductive Synthesis of Probabilistic Programs.

Roman Andriushchenko, Milan Ceska, Sebastian Junges, Joost-Pieter Katoen, Simon Stupinský

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021