| PAYNT: A tool for inductive synthesis of probabilistic programs R Andriushchenko, M Češka, S Junges, JP Katoen, Š Stupinský International Conference on Computer Aided Verification, 856-869, 2021 | 28 | 2021 |
| Inductive synthesis for probabilistic programs reaches new horizons R Andriushchenko, M Češka, S Junges, JP Katoen International Conference on Tools and Algorithms for the Construction and …, 2021 | 25 | 2021 |
| Inductive synthesis of finite-state controllers for POMDPs R Andriushchenko, M Češka, S Junges, JP Katoen Uncertainty in Artificial Intelligence, 85-95, 2022 | 18 | 2022 |
| Adaptive formal approximations of Markov chains A Abate, R Andriushchenko, M Češka, M Kwiatkowska Performance Evaluation 148, 102207, 2021 | 13 | 2021 |
| Search and explore: symbiotic policy synthesis in POMDPs R Andriushchenko, A Bork, M Češka, S Junges, JP Katoen, F Macák International Conference on Computer Aided Verification, 113-135, 2023 | 7 | 2023 |
| Tools at the frontiers of quantitative verification: QComp 2023 competition report R Andriushchenko, A Bork, CE Budde, M Češka, K Grover, EM Hahn, ... | 4 | 2024 |
| Deductive controller synthesis for probabilistic hyperproperties R Andriushchenko, E Bartocci, M Češka, F Pontiggia, S Sallinger International Conference on Quantitative Evaluation of Systems, 288-306, 2023 | 4 | 2023 |
| Computer-Aided Synthesis of Probabilistic Models R Andriushchenko Brno, CZ, 2020 | 4 | 2020 |
| Approximate Techniques for Markov Models R Andriushchenko Brno, CZ, 2018 | 1 | 2018 |
| Abstraction-based segmental simulation of reaction networks using adaptive memoization M Helfrich, R Andriushchenko, M Češka, J Křetinský, Š Martiček, ... | | 2024 |
| Policies Grow on Trees: Model Checking Families of MDPs R Andriushchenko, M Češka, S Junges, F Macák arXiv preprint arXiv:2407.12552, 2024 | | 2024 |
| Tools at the Frontiers of Quantitative Verification R Andriushchenko, A Bork, CE Budde, M Češka, K Grover, EM Hahn, ... arXiv preprint arXiv:2405.13583, 2024 | | 2024 |
| Artifact supplement for'An Oracle-Guided Approach to Constrained Controller Synthesis Under Uncertainty' R Andriushchenko, M Ceska, S Junges, JP Katoen, F Macák Zenodo, 2024 | | 2024 |
| Artifact supplement for'Search and Explore: Symbiotic Policy Synthesis in POMDPs'. R Andriushchenko, A Bork, M Ceska, S Junges, JP Katoen, F Macák Zenodo, 2023 | | 2023 |
| GPU-Accelerated Synthesis of Probabilistic Programs R Andriushchenko, M Češka, V Marcin, T Vojnar International Conference on Computer Aided Systems Theory, 258-266, 2022 | | 2022 |
| Aproximativní techniky pro Markovovy modely R Andriushchenko Vysoké učení technické v Brně. Fakulta informačních technologií, 2019 | | 2019 |
| Bachelor's Thesis Assignment MJ Kochenderfer, TA Wheeler, KH Wray, R Andriushchenko, M Češka, ... | | |
| On Improving Adaptive Error-Driven Aggregation of Markov Chains R Andriushchenko | | |
