Algebraic Invariants for Linear Hybrid Automata.

Rupak Majumdar Joël Ouaknine Amaury Pouly James Worrell

Published in: CONCUR (2020)

Keyphrases

hybrid automata
finite state automata
closed form