Up a level |
Baier, Christel, Funke, Florian, Jantsch, Simon, Karimov, Toghrul, Lefaucheux, Engel, Luca, Florian, Ouaknine, Joël, Purser, David ORCID: 0000-0003-0394-1634, Whiteland, Markus A and Worrell, James
(2021)
The Orbit Problem for Parametric Linear Dynamical Systems.
In: 32nd International Conference on Concurrency Theory (CONCUR 2021).
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).