Roman Andriushchenko

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

Collaborative distances:

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

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

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