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, 2025, s. 51-75. ISBN 978-3-031-78749-2.
Název česky
Verifikace rodin Markovských rozhodovacích procesů
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)
Abstrakt

Tento článek představuje nový přístup pro syntézu efektivní reprezentace vítězných kontrolérů v rodinách Markovských rozhodovacích procesů (MDP). Navržená technika využívá herní abstrakci a zásadním způsobem vylepšuje existující přístupy.

Rok
2025
Strany
51-75
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
ISBN
978-3-031-78749-2
Vydavatel
Springer Verlag
Místo
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"
}
Nahoru