Experiments for 'Scenario-Based Verification of Uncertain Parametric MDPs'

Data Archiving and Networked Services (DANS)

Abstract

This artifact accompanies the 2022 article in the International Journal on Software Tools for Technology Transfer (STTT) with the same title.

Authors 6

1. Thom Badings corresponding

   Radboud University Nijmegen

   Affiliation as printed

   Radboud University, Nijmegen, The Netherlands

2. Murat Cubuktepe

   The University of Texas at Austin

   Affiliation as printed

   The University of Texas at Austin, Austin, TX, USA

3. Nils Jansen

   Radboud University Nijmegen

   Affiliation as printed

   Radboud University, Nijmegen, The Netherlands

4. Sebastian Junges

   Radboud University Nijmegen

   Affiliation as printed

   Radboud University, Nijmegen, The Netherlands

5. Joost-Pieter Katoen Aachen

   RWTH Aachen University

   Affiliation as printed

   RWTH Aachen University, Aachen, Germany

6. Ufuk Topcu

   The University of Texas at Austin

   Affiliation as printed

   The University of Texas at Austin, Austin, TX, USA