Publication Details

Policies Grow on Trees: Model Checking Families of MDPs

ANDRIUSHCHENKO 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.
Type
conference paper
Language
english
Authors
Andriushchenko Roman, Ing. (DITS FIT BUT)
Češka Milan, doc. RNDr., Ph.D. (DITS FIT BUT)
Junges Sebastian (RWTH Aachen University)
Macák Filip, Ing. (DITS FIT BUT)
Published
2025
Pages
51-75
Proceedings
Proceeding of 22nd International Symposium on Automated Technology for Verification and Analysis
Series
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Conference
22nd International Symposium on Automated Technology for Verification and Analysis, Kyoto, JP
ISBN
978-3-031-78749-2
Publisher
Springer Verlag
Place
Cham, DE
DOI
10.1007/978-3-031-78750-8_3
BibTeX 
@INPROCEEDINGS{FITPUB13313,
   author = "Roman Andriushchenko and Milan \v{C}e\v{s}ka and Sebastian Junges and Filip Mac\'{a}k",
   title = "Policies Grow on Trees: Model Checking Families of MDPs",
   pages = "51--75",
   booktitle = "Proceeding of 22nd International Symposium on Automated Technology for Verification and Analysis",
   series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
   year = 2025,
   location = "Cham, DE",
   publisher = "Springer Verlag",
   ISBN = "978-3-031-78749-2",
   doi = "10.1007/978-3-031-78750-8\_3",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/13313"
}
Back to top