PAYNT: A Tool for Inductive Synthesis of Probabilistic Programs. - Roman Andriushchenko; Milan Ceska 002; Sebastian Junges; Joost-Pieter Katoen; Simon Stupinský (CAV (1), 2021)

Inductive Synthesis for Probabilistic Programs Reaches New Horizons. - Roman Andriushchenko; Milan Ceska 002; Sebastian Junges; Joost-Pieter Katoen (TACAS (1), 2021)

Adaptive formal approximations of Markov chains. - Alessandro Abate; Roman Andriushchenko; Milan Ceska 002; Marta Kwiatkowska (Perform. Evaluation, 2021)

GPU-Accelerated Synthesis of Probabilistic Programs. - Roman Andriushchenko; Milan Ceska 002; Vladimír Marcin; Tomás Vojnar (EUROCAST, 2022)

Inductive synthesis of finite-state controllers for POMDPs. - Roman Andriushchenko; Milan Ceska 002; Sebastian Junges; Joost-Pieter Katoen (UAI, 2022)

Search and Explore: Symbiotic Policy Synthesis in POMDPs. - Roman Andriushchenko; Alexander Bork; Milan Ceska 002; Sebastian Junges; Joost-Pieter Katoen; Filip Macák (CAV (3), 2023)

Deductive Controller Synthesis for Probabilistic Hyperproperties. - Roman Andriushchenko; Ezio Bartocci; Milan Ceska 002; Francesco Pontiggia; Sarah Sallinger (QEST, 2023)

Tools at the Frontiers of Quantitative Verification - QComp 2023 Competition Report. - Roman Andriushchenko; Alexander Bork; Carlos E. Budde; Milan Ceska 002; Kush Grover; Ernst Moritz Hahn; Arnd Hartmanns; Bryant Israelsen; Nils Jansen 001; Joshua Jeppson; Sebastian Junges; Maximilian A. Köhl; et al. (TOOLympics@ETAPS, 2023)

Artifact supplement for 'Search and Explore: Symbiotic Policy Synthesis in POMDPs'. - Roman Andriushchenko; Alexander Bork; Milan Ceska 002; Sebastian Junges; Joost-Pieter Katoen; Filip Macák (Zenodo, 2023)

Artifact supplement for 'Search and Explore: Symbiotic Policy Synthesis in POMDPs'. - Roman Andriushchenko; Alexander Bork; Milan Ceska 002; Sebastian Junges; Joost-Pieter Katoen; Filip Macák (Zenodo, 2023)

Artifact supplement for 'Search and Explore: Symbiotic Policy Synthesis in POMDPs'. - Roman Andriushchenko; Alexander Bork; Milan Ceska 002; Sebastian Junges; Joost-Pieter Katoen; Filip Macák (Zenodo, 2023)

Artifact supplement for "Deductive Controller Synthesis for Probabilistic Hyperproperties". - Roman Andriushchenko; Ezio Bartocci; Milan Ceska 002; Francesco Pontiggia; Sarah Sallinger (Zenodo, 2023)

Artifact supplement for "Deductive Controller Synthesis for Probabilistic Hyperproperties". - Roman Andriushchenko; Ezio Bartocci; Milan Ceska 002; Francesco Pontiggia; Sarah Sallinger (Zenodo, 2023)

Artifact supplement for "Deductive Controller Synthesis for Probabilistic Hyperproperties". - Roman Andriushchenko; Ezio Bartocci; Milan Ceska 002; Francesco Pontiggia; Sarah Sallinger (Zenodo, 2023)

Artifact supplement for "Deductive Controller Synthesis for Probabilistic Hyperproperties". - Roman Andriushchenko; Ezio Bartocci; Milan Ceska 002; Francesco Pontiggia; Sarah Sallinger (Zenodo, 2023)

Artifact supplement for "Deductive Controller Synthesis for Probabilistic Hyperproperties". - Roman Andriushchenko; Ezio Bartocci; Milan Ceska 002; Francesco Pontiggia; Sarah Sallinger (Zenodo, 2023)

Policies Grow on Trees: Model Checking Families of MDPs. - Roman Andriushchenko; Milan Ceska 002; Sebastian Junges; Filip Macák (ATVA (2), 2024)

Tools at the Frontiers of Quantitative Verification. - Roman Andriushchenko; Alexander Bork; Carlos E. Budde; Milan Ceska 002; Kush Grover; Ernst Moritz Hahn; Arnd Hartmanns; Bryant Israelsen; Nils Jansen 001; Joshua Jeppson; Sebastian Junges; Maximilian A. Köhl; et al. (CoRR, 2024)

Artifact supplement for 'An Oracle-Guided Approach to Constrained Controller Synthesis Under Uncertainty'. - Roman Andriushchenko; Milan Ceska 002; Sebastian Junges; Joost-Pieter Katoen; Filip Macák (Zenodo, 2024)

Artifact supplement for 'An Oracle-Guided Approach to Constrained Controller Synthesis Under Uncertainty'. - Roman Andriushchenko; Milan Ceska 002; Sebastian Junges; Joost-Pieter Katoen; Filip Macák (Zenodo, 2024)

Artifact supplement for 'An Oracle-Guided Approach to Constrained Controller Synthesis Under Uncertainty'. - Roman Andriushchenko; Milan Ceska 002; Sebastian Junges; Joost-Pieter Katoen; Filip Macák (Zenodo, 2024)

Abstraction-based segmental simulation of reaction networks using adaptive memoization. - Martin Helfrich; Roman Andriushchenko; Milan Ceska 002; Jan Kretínský; Stefan Marticek; David Safránek (BMC Bioinform., 2024)

Small Decision Trees for MDPs with Deductive Synthesis. - Roman Andriushchenko; Milan Ceska 002; Sebastian Junges; Filip Macák (CAV (2), 2025)

Decentralized Planning Using Probabilistic Hyperproperties. - Francesco Pontiggia; Filip Macák; Roman Andriushchenko; Michele Chiari; Milan Ceska 002 (AAMAS, 2025)

Symbiotic Local Search for Small Decision Tree Policies in MDPs. - Roman Andriushchenko; Milan Ceska 002; Debraj Chakraborty 002; Sebastian Junges; Jan Kretínský; Filip Macák (UAI, 2025)

An Oracle-Guided Approach to Constrained Policy Synthesis Under Uncertainty. - Roman Andriushchenko; Milan Ceska 002; Filip Macák; Sebastian Junges; Joost-Pieter Katoen (J. Artif. Intell. Res., 2025)

rfPG: Robust Finite-Memory Policy Gradients for Hidden-Model POMDPs. - Maris F. L. Galesloot; Roman Andriushchenko; Milan Ceska 002; Sebastian Junges; Nils Jansen 001 (CoRR, 2025)