Publication detail

Policies Grow on Trees: Model Checking Families of MDPs

ANDRIUSHCHENKO, R. ČEŠKA, M. MACÁK, F. JUNGES, S.

Original Title

Policies Grow on Trees: Model Checking Families of MDPs

Type

article in a collection out of WoS and Scopus

Language

English

Authors

ANDRIUSHCHENKO, R.; ČEŠKA, M.; MACÁK, F.; JUNGES, S.

Released

4. 12. 2024

Publisher

Springer Verlag

Location

Cham

Pages count

13

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"
}