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, 2024, p. 13.
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
2024 (in print)
Pages
13
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
Publisher
Springer Verlag
Place
Cham, DE
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 = 13,
   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 = 2024,
   location = "Cham, DE",
   publisher = "Springer Verlag",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/13313"
}
Back to top