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).
|
PDF
concur.pdf - Author Accepted Manuscript Download (728kB) | Preview |
Official URL: https://drops.dagstuhl.de/opus/volltexte/2021/1440...
| 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 10:09 |
| Last Modified: | 29 Mar 2023 10:09 |
| DOI: | 10.4230/LIPIcs.CONCUR.2021.28 |
| Related URLs: | |
| URI: | https://livrepository.liverpool.ac.uk/id/eprint/3169338 |
Dimensions
Dimensions
DimensionsAltmetric
Share
CORE (COnnecting REpositories)