Hybridization Based CEGAR for Hybrid Automata with Affine Dynamics.

Nima Roohi Pavithra Prabhakar Mahesh Viswanathan

Published in: TACAS (2016)

Keyphrases

hybrid automata
finite state automata
dynamic model
dynamical systems
affine invariant
neural network
image registration
computational complexity
hybrid algorithm
dna computing