TY  - RPRT
TI  - Algebraic Invariants for Linear Hybrid Automata
AU  - Rupak Majumdar
AU  - Joël Ouaknine
AU  - Amaury Pouly
AU  - James Worrell
PY  - 2019
DO  - 10.4230/lipics.concur.2020.32
UR  - https://arxiv.org/abs/1902.10452
ID  - 1902.10452
ER  -