Seguir
Roman Andriushchenko
Roman Andriushchenko
Dirección de correo verificada de vutbr.cz
Título
Citado por
Citado por
Año
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
232021
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
202021
Inductive synthesis of finite-state controllers for POMDPs
R Andriushchenko, M Češka, S Junges, JP Katoen
Uncertainty in Artificial Intelligence, 85-95, 2022
162022
Adaptive formal approximations of Markov chains
A Abate, R Andriushchenko, M Češka, M Kwiatkowska
Performance Evaluation 148, 102207, 2021
102021
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
72023
Computer-Aided Synthesis of Probabilistic Models
R Andriushchenko
Brno, CZ, 2020
42020
Tools at the frontiers of quantitative verification: QComp 2023 competition report
R Andriushchenko, A Bork, CE Budde, M Češka, K Grover, EM Hahn, ...
22024
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
12023
Approximate Techniques for Markov Models
R Andriushchenko
Brno, CZ, 2018
12018
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–16