Scenario-Based Verification of Uncertain MDPs

von Katoen,, Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter
Veröffentlicht in TACAS (26. : 2020 : Online) Tools and algorithms for the construction and analysis of systems ; Part 1 (2020)