Publication Details

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.
Type
conference paper
Language
English
Authors
Andriushchenko Roman, Ing. (DITS)
Češka Milan, doc. RNDr., Ph.D. (DITS)
Macák Filip, Ing. (DITS)
JUNGES, S.
Published
2024
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)
Publisher
Springer Verlag
Place
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"
}
Back to top