Roman Andriushchenko

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 13

Top Topics

Inductive Learning

Partially Observable Markov Decision Processes

Functional Programs

Top Venues

Publications

Roman Andriushchenko, Milan Ceska, Sebastian Junges, Filip Macák
Policies Grow on Trees: Model Checking Families of MDPs. CoRR (2024)
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
Tools at the Frontiers of Quantitative Verification. CoRR (2024)
Roman Andriushchenko, Ezio Bartocci, Milan Ceska, Francesco Pontiggia, Sarah Sallinger
Deductive Controller Synthesis for Probabilistic Hyperproperties. CoRR (2023)
Roman Andriushchenko, Ezio Bartocci, Milan Ceska, Francesco Pontiggia, Sarah Sallinger
Deductive Controller Synthesis for Probabilistic Hyperproperties. QEST (2023)
Roman Andriushchenko, Alexander Bork, Milan Ceska, Sebastian Junges, Joost-Pieter Katoen, Filip Macák
Search and Explore: Symbiotic Policy Synthesis in POMDPs. CoRR (2023)
Roman Andriushchenko, Alexander Bork, Milan Ceska, Sebastian Junges, Joost-Pieter Katoen, Filip Macák
Search and Explore: Symbiotic Policy Synthesis in POMDPs. CAV (3) (2023)
Roman Andriushchenko, Milan Ceska, Vladimír Marcin, Tomás Vojnar
GPU-Accelerated Synthesis of Probabilistic Programs. EUROCAST (2022)
Roman Andriushchenko, Milan Ceska, Sebastian Junges, Joost-Pieter Katoen
Inductive synthesis of finite-state controllers for POMDPs. UAI (2022)
Roman Andriushchenko, Milan Ceska, Sebastian Junges, Joost-Pieter Katoen
Inductive Synthesis of Finite-State Controllers for POMDPs. CoRR (2022)
Roman Andriushchenko, Milan Ceska, Sebastian Junges, Joost-Pieter Katoen
Inductive Synthesis for Probabilistic Programs Reaches New Horizons. TACAS (1) (2021)
Roman Andriushchenko, Milan Ceska, Sebastian Junges, Joost-Pieter Katoen
Inductive Synthesis for Probabilistic Programs Reaches New Horizons. CoRR (2021)
Roman Andriushchenko, Milan Ceska, Sebastian Junges, Joost-Pieter Katoen, Simon Stupinský
PAYNT: A Tool for Inductive Synthesis of Probabilistic Programs. CAV (1) (2021)
Alessandro Abate, Roman Andriushchenko, Milan Ceska, Marta Kwiatkowska
Adaptive formal approximations of Markov chains. Perform. Evaluation 148 (2021)