Algebraic invariants for linear hybrid automata (31st International Conference on Concurrency Theory, 2020)

(untitled) - Majumdar, R; Ouaknine, J; Pouly, A; Worrell, J