Paper in STTT

The paper entitled “Scenario-Based Verification of Uncertain Parametric¬†MDPs” by Thom Badings, Nils Jansen, and Sebastian Junges (all Radboud University Nijmegen, NL), Murat Cubuktepe and Ufuk Topcu (UT Austin, USA) and Joost-Pieter Katoen has been accepted in the International Journal on Software Tools for Technology Transfer (special issue devoted to TACAS 2020). The paper focuses on the problem to provide the probability estimation of the existence of a policy that satisfies certain specifications in uncertain MDPs.