Parameter synthesis for parametric probabilistic dynamical systems and prefix-independent specifications
From MaRDI portal
Publication:6587115
DOI10.4230/lipics.concur.2022.10MaRDI QIDQ6587115
Christel Baier, Joël Ouaknine, Markus A. Whiteland, James Worrell, Simon Jantsch, David Purser, Toghrul Karimov, Engel Lefaucheux, Florian Funke
Publication date: 13 August 2024
This page was built for publication: Parameter synthesis for parametric probabilistic dynamical systems and prefix-independent specifications