HyRG: a random generation tool for affine hybrid automata.

Luan Viet Nguyen Christian Schilling Sergiy Bogomolov Taylor T. Johnson

Published in: HSCC (2015)

Keyphrases

hybrid automata
finite state automata
data sets
software tools
neural network
learning algorithm
image registration
image matching
affine invariant