| 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 | 20 | 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 | 19 | 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 | 12 | 2022 |
| Adaptive formal approximations of Markov chains A Abate, R Andriushchenko, M Češka, M Kwiatkowska Performance Evaluation 148, 102207, 2021 | 10 | 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 | 3 | 2023 |
| Computer-Aided Synthesis of Probabilistic Models R Andriushchenko Brno, CZ, 2020 | 3 | 2020 |
| Tools at the frontiers of quantitative verification: QComp 2023 competition report R Andriushchenko, A Bork, CE Budde, M Češka, K Grover, EM Hahn, ... | 1 | 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 | 1 | 2023 |
| Approximate Techniques for Markov Models R Andriushchenko Brno, CZ, 2018 | 1 | 2018 |
| 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 |
| Tools at the Frontiers of Quantitative Verification R Andriushchenko, A Bork, CE Budde, M Češka, K Grover, EM Hahn, ... | | |
| 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 | | |
