Detail publikace

Policies Grow on Trees: Model Checking Families of MDPs

ANDRIUSHCHENKO, R.; ČEŠKA, M.; MACÁK, F.; JUNGES, S. Policies Grow on Trees: Model Checking Families of MDPs. 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. p. 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
anglicky
Autoři
Andriushchenko Roman, Ing. (UITS)
Češka Milan, doc. RNDr., Ph.D. (UITS)
Macák Filip, Ing. (UITS)
JUNGES, S.
Klíčová slova

Markov decision processes, robust and winning policies, game-based abstraction

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
DOI
10.1007/978-3-031-78750-8_3
BibTeX 
@inproceedings{BUT193552,
  author="ANDRIUSHCHENKO, R. and ČEŠKA, M. and MACÁK, F. and JUNGES, S.",
  title="Policies Grow on Trees: Model Checking Families of MDPs",
  booktitle="Proceeding of 22nd International Symposium on Automated Technology for Verification and Analysis",
  year="2025",
  series="Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
  pages="51--75",
  publisher="Springer Verlag",
  address="Cham",
  doi="10.1007/978-3-031-78750-8\{_}3",
  isbn="978-3-031-78749-2"
}
Nahoru