Parameter synthesis for parametric probabilistic dynamical systems and prefix-independent specifications

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

zbMATH Keywords

model checkingdistribution transformer semanticsparametric Markov chains

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

This page was built for publication: Parameter synthesis for parametric probabilistic dynamical systems and prefix-independent specifications