Invariants for Continuous Linear Dynamical Systems

Shaull Almagor, Edon Kelmendi, Joël Ouaknine, James Worrell 0001. Invariants for Continuous Linear Dynamical Systems. In Artur Czumaj, Anuj Dawar, Emanuela Merelli, editors, 47th International Colloquium on Automata, Languages, and Programming, ICALP 2020, July 8-11, 2020, Saarbrücken, Germany (Virtual Conference). Volume 168 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020. [doi]

@inproceedings{AlmagorKO020,
  title = {Invariants for Continuous Linear Dynamical Systems},
  author = {Shaull Almagor and Edon Kelmendi and Joël Ouaknine and James Worrell 0001},
  year = {2020},
  doi = {10.4230/LIPIcs.ICALP.2020.107},
  url = {https://doi.org/10.4230/LIPIcs.ICALP.2020.107},
  researchr = {https://researchr.org/publication/AlmagorKO020},
  cites = {0},
  citedby = {0},
  booktitle = {47th International Colloquium on Automata, Languages, and Programming, ICALP 2020, July 8-11, 2020, Saarbrücken, Germany (Virtual Conference)},
  editor = {Artur Czumaj and Anuj Dawar and Emanuela Merelli},
  volume = {168},
  series = {LIPIcs},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
  isbn = {978-3-95977-138-2},
}