Crossmark

Model Checking Markov Chains as Distribution Transformers

Crossref DOI link: https://doi.org/10.1007/978-3-031-75775-4_13

Published Online: 2024-11-13

Published Print: 2025

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

Aghamov, Rajab https://orcid.org/0000-0001-8770-3523
Baier, Christel https://orcid.org/0000-0002-5321-9343
Karimov, Toghrul https://orcid.org/0000-0002-9405-2332
Nieuwveld, Joris https://orcid.org/0009-0002-0339-1230
Ouaknine, Joël https://orcid.org/0000-0003-0031-9356
Piribauer, Jakob https://orcid.org/0000-0003-4829-0476
Vahanwala, Mihir https://orcid.org/0009-0008-5709-899X
License Information

Text and Data Mining valid from 2024-11-13

Version of Record valid from 2024-11-13
More Information

Chapter History

First Online: 13 November 2024

Disclosure of Interests

: The authors have no competing interests to declare that are relevant to the content of this article.