Algebraic Invariants for Linear Hybrid Automata.

Rupak Majumdar, Jol Ouaknine, Amaury Pouly, James Worrell

Browse the full CONCUR paper archive.