A quantifier-free SMT encoding of non-linear hybrid automata.

Alessandro Cimatti Sergio Mover Stefano Tonetta

Published in: FMCAD (2012)

Keyphrases

hybrid automata
quantifier free
quantifier elimination
rewrite systems
first order logic
finite state automata
real numbers
orders of magnitude
programming language
constraint propagation
relational data model