| 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 | 47 | 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 | 32 | 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 | 27 | 2022 |
| Adaptive formal approximations of Markov chains A Abate, R Andriushchenko, M Češka, M Kwiatkowska Performance Evaluation 148, 102207, 2021 | 25 | 2021 |
| Tools at the frontiers of quantitative verification: QComp 2023 competition report R Andriushchenko, A Bork, CE Budde, M Češka, K Grover, EM Hahn, ... International TOOLympics Challenge, 90-146, 2023 | 22 | 2023 |
| 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 | 17 | 2023 |
| 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 | 6 | 2023 |
| Robust Finite-Memory Policy Gradients for Hidden-Model POMDPs MFL Galesloot, R Andriushchenko, M Češka, S Junges, N Jansen arXiv preprint arXiv:2505.09518, 2025 | 5 | 2025 |
| Computer-Aided Synthesis of Probabilistic Models R Andriushchenko Brno, CZ, 2020 | 5 | 2020 |
| Small decision trees for MDPs with deductive synthesis R Andriushchenko, M Češka, S Junges, F Macák International Conference on Computer Aided Verification, 169-192, 2025 | 4 | 2025 |
| An Oracle-Guided Approach to Constrained Policy Synthesis Under Uncertainty R Andriushchenko, M Češka, F Macák, S Junges, JP Katoen Journal of Artificial Intelligence Research 82, 433-469, 2025 | 3 | 2025 |
| Symbiotic Local Search for Small Decision Tree Policies in MDPs R Andriushchenko, M Ceska, D Chakraborty, S Junges, J Kretinsky, ... The 41st Conference on Uncertainty in Artificial Intelligence, 2025 | 3 | 2025 |
| Policies Grow on Trees: Model Checking Families of MDPs R Andriushchenko, M Češka, S Junges, F Macák International Symposium on Automated Technology for Verification and …, 2024 | 3 | 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 | 1 | 2024 |
| 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 | 1 | 2022 |
| Approximate Techniques for Markov Models R Andriushchenko Brno, CZ, 2018 | 1 | 2018 |
| RFPG: Robust finite-memory policy gradients for hidden-model POMDPs MFL Galesloot, R Andriushchenko, M Češka, S Junges, N Jansen CoRR, 2025 | | 2025 |
| \textsc {rfPG}: Robust Finite-Memory Policy Gradients for Hidden-Model POMDPs MFL Galesloot, R Andriushchenko, M Češka, S Junges, N Jansen arXiv e-prints, arXiv: 2505.09518, 2025 | | 2025 |
| Decentralized Planning Using Probabilistic Hyperproperties F Pontiggia, F Macák, R Andriushchenko, M Chiari, M Češka arXiv preprint arXiv:2502.13621, 2025 | | 2025 |
| Artifact supplement for'Symbiotic Local Search for Small Decision Tree Policies in MDPs' R Andriushchenko, M Ceska, D Chakraborty, S Junges, J Kretínský, ... Zenodo, 2025 | | 2025 |
