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, 2024. p. 0-0.
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.
Rok
2024
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)
Vydavatel
Springer Verlag
Místo
Cham
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="2024",
  series="Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
  pages="13",
  publisher="Springer Verlag",
  address="Cham"
}
Nahoru