E-Mail:
ORCID:
0000-0002-1286-934XAddress:
Faculty of Informatics Masaryk University Botanická 68a 602 00 Brno / Česká republika
Roman Andriushchenko
Office: C504
E-Mail:
ORCID: 0000-0002-1286-934X
Address:
E-Mail:
ORCID:
0000-0002-1286-934XAddress:
My research focuses on formal methods for synthesizing and verifying probabilistic systems, including probabilistic programs and policies for MDPs and POMDPs, with an emphasis on constrained policy synthesis under uncertainty.
Research Areas
Tools
Publications
|
2025 |
Symbiotic Local Search for Small Decision Tree Policies in MDPs
Conference on Uncertainty in Artificial Intelligence, Rio Othon Palace, Rio de Janeiro, Brazil, 21-25 July 2025 |