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



Baier, Christel, Funke, Florian, Jantsch, Simon, Karimov, Toghrul, Lefaucheux, Engel, Ouaknine, Joël, Purser, David ORCID: 0000-0003-0394-1634, Whiteland, Markus A and Worrell, James
(2022) Parameter synthesis for parametric probabilistic dynamical systems and prefix-independent specifications. In: 33rd International Conference on Concurrency Theory (CONCUR 2022).

Access the full-text of this item by clicking on the Open Access link.
Item Type: Conference or Workshop Item (Unspecified)
Divisions: Faculty of Science and Engineering > School of Electrical Engineering, Electronics and Computer Science
Depositing User: Symplectic Admin
Date Deposited: 29 Mar 2023 11:07
Last Modified: 29 Mar 2023 11:07
DOI: 10.4230/LIPIcs.CONCUR.2022.10
Open Access URL: https://doi.org/10.4230/LIPIcs.CONCUR.2022.10
Related URLs:
URI: https://livrepository.liverpool.ac.uk/id/eprint/3169346