Login / Signup
Algebraic Invariants for Linear Hybrid Automata.
Rupak Majumdar
Joël Ouaknine
Amaury Pouly
James Worrell
Published in:
CoRR (2019)
Keyphrases
</>
hybrid automata
finite state automata
database systems
moment invariants