Browse by People


Up a level
Export as [feed] RSS [feed] RSS 2.0 Short Author List
Number of items: 3.


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).


Karimov, Toghrul ORCID: 0000-0002-9405-2332, Lefaucheux, Engel ORCID: 0000-0003-0875-300X, Ouaknine, Joël ORCID: 0000-0003-0031-9356, Purser, David ORCID: 0000-0003-0394-1634, Varonka, Anton ORCID: 0000-0001-5758-0657, Whiteland, Markus A ORCID: 0000-0002-6006-9902 and Worrell, James ORCID: 0000-0001-8151-2443
(2022) What’s decidable about linear loops? Proceedings of the ACM on Programming Languages, 6 (POPL). pp. 1-25.

This list was generated on Wed Jan 17 04:45:31 2024 GMT.