Open AccessParameter Synthesis for Parametric Probabilistic Dynamical Systems and Prefix-Independent Specifications
Author(s) -
Christel Baier,
Florian Funke,
Simon Jantsch,
Toghrul Karimov,
Engel Lefaucheux,
Joël Ouaknine,
David Purser,
Markus A. Whiteland,
James Worrell
Publication year - 2022
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
DOI - 10.4230/lipics.concur.2022.10
Subject(s) - probabilistic logic , parametric statistics , computer science , prefix , theoretical computer science , algorithm , programming language , mathematics , artificial intelligence , statistics , linguistics , philosophy