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).
Official URL: https://drops.dagstuhl.de/opus/volltexte/2022/1707...
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 |
Dimensions
Altmetric
Share
CORE (COnnecting REpositories)