Detail publikace

Policies Grow on Trees: Model Checking Families of MDPs

ANDRIUSHCHENKO Roman, ČEŠKA Milan, JUNGES Sebastian a 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, s. 13.
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Andriushchenko Roman, Ing. (UITS FIT VUT)
Češka Milan, doc. RNDr., Ph.D. (UITS FIT VUT)
Junges Sebastian (RWTH Aachen University)
Macák Filip, Ing. (UITS FIT VUT)
Rok
2024 (v tisku)
Strany
13
Sborník
Proceeding of 22nd International Symposium on Automated Technology for Verification and Analysis
Řada
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Konference
22nd International Symposium on Automated Technology for Verification and Analysis, Kyoto, JP
Vydavatel
Springer Verlag
Místo
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"
}
Nahoru