Scenario-based verification of uncertain parametric MDPs

Badings, Thom (Corresponding author); Cubuktepe, Murat; Jansen, Nils; Junges, Sebastian; Katoen, Joost-Pieter; Topcu, Ufuk

Heidelberg [u.a.] : Springer (2022)
Journal Article

In: International journal on software tools for technology transfer : STTT _
Volume: 24
Issue: 5
Page(s)/Article-Nr.: 803-8019

Institutions

  • Department of Computer Science [120000]
  • Chair of Computer Science 2 (Software Modeling and Verification) [121310]