Scenario-based verification of uncertain parametric MDPs
Crossref DOI link: https://doi.org/10.1007/s10009-022-00673-z
Published Online: 2022-09-14
Published Print: 2022-10
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Badings, Thom
Cubuktepe, Murat
Jansen, Nils
Junges, Sebastian
Katoen, Joost-Pieter
Topcu, Ufuk
Text and Data Mining valid from 2022-09-14
Version of Record valid from 2022-09-14
Article History
Accepted: 29 August 2022
First Online: 14 September 2022