Publications
-
2025
ANDRIUSHCHENKO Roman, ČEŠKA Milan, JUNGES Sebastian, KATOEN Joost-Pieter and MACÁK Filip. An Oracle-Guided Approach to Constrained Policy Synthesis Under Uncertainty. Journal of Artificial Intelligence Research, vol. 2025, no. 82, pp. 433-469. ISSN 1076-9757.
DetailANDRIUSHCHENKO Roman, ČEŠKA Milan, FRANCESCO Pontiggia, MACÁK Filip and MICHELE Chiari. Decentralized Planning Using Probabilistic Hyperproperties. In: Proc. of the 24th International Conference on Autonomous Agents and Multiagent Systems. 2025.
DetailANDRIUSHCHENKO Roman, ČEŠKA Milan, JUNGES Sebastian and MACÁK Filip. Policies Grow on Trees: Model Checking Families of MDPs. In: Proceeding of 22nd International Symposium on Automated Technology for Verification and Analysis. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Cham: Springer Verlag, 2025, pp. 51-75. ISBN 978-3-031-78749-2.
Detail -
2023
ANDRIUSHCHENKO Roman, ALEXANDER Bork, ČEŠKA Milan, JUNGES Sebastian, KATOEN Joost-Pieter and MACÁK Filip. Search and Explore: Symbiotic Policy Synthesis in POMDPs. In: Computer Aided Verification. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 13966. Cham: Springer Verlag, 2023, pp. 113-135. ISBN 978-3-031-37708-2.
Detail