Template-Based Unbounded Time Verification of Affine Hybrid Automata.

Thao Dang Thomas Martin Gawlitza

Published in: APLAS (2011)

Keyphrases

hybrid automata
finite state automata
affine transformation
affine invariant
model checking
formal verification
image registration
piecewise affine
machine learning
positive and negative
formal methods