Detail publikace

Policies Grow on Trees: Model Checking Families of MDPs

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

Originální název

Policies Grow on Trees: Model Checking Families of MDPs

Typ

článek ve sborníku mimo WoS a Scopus

Jazyk

angličtina

Autoři

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

Vydáno

4. 12. 2024

Nakladatel

Springer Verlag

Místo

Cham

Strany počet

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