Scenario-based verification of uncertain parametric MDPs

Thom S. Badings, Murat Cubuktepe, Nils Jansen 0001, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu. Scenario-based verification of uncertain parametric MDPs. STTT, 24(5):803-819, 2022. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: