Parameter Synthesis for Parametric Probabilistic Dynamical Systems and Prefix-Independent Specifications.

Christel Baier, Florian Funke, Simon Jantsch, Toghrul Karimov, Engel Lefaucheux, Jol Ouaknine, David Purser, Markus A. Whiteland, James Worrell

Browse the full CONCUR paper archive.