English
 
Help Privacy Policy Disclaimer
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT

Released

Conference Paper

The Orbit Problem for Parametric Linear Dynamical Systems

MPS-Authors
/persons/resource/persons260459

Karimov,  Toghrul
Group J. Ouaknine, Max Planck Institute for Software Systems, Max Planck Society;

/persons/resource/persons245917

Lefaucheux,  Engel
Group J. Ouaknine, Max Planck Institute for Software Systems, Max Planck Society;

/persons/resource/persons217847

Ouaknine,  Joël
Group J. Ouaknine, Max Planck Institute for Software Systems, Max Planck Society;

/persons/resource/persons260461

Purser,  David
Group J. Ouaknine, Max Planck Institute for Software Systems, Max Planck Society;

/persons/resource/persons260463

Whiteland,  Markus
Group J. Ouaknine, Max Planck Institute for Software Systems, Max Planck Society;

Fulltext (public)

LIPIcs-CONCUR-2021-28.pdf
(Publisher version), 791KB

Supplementary Material (public)
There is no public supplementary material available
Citation

Baier, C., Funke, F., Jantsch, S., Karimov, T., Lefaucheux, E., Luca, F., et al. (2021). The Orbit Problem for Parametric Linear Dynamical Systems. In S. Haddad, & D. Varacca (Eds.), 32nd International Conference on Concurrency Theory (pp. 1-17). Wadern: Schloss Dagstuhl. doi:10.4230/LIPIcs.CONCUR.2021.28.


Cite as: http://hdl.handle.net/21.11116/0000-0009-2C86-F
Abstract
There is no abstract available