Scenario-based verification of uncertain parametric MDPsOpen Website

Thom S. Badings, Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu

2022 (modified: 18 Feb 2023)Int. J. Softw. Tools Technol. Transf. 2022Readers: Everyone
0 Replies