Efficient Scenario Verification for Hybrid Automata.

Alessandro Cimatti Sergio Mover Stefano Tonetta

Published in: CAV (2011)

Keyphrases

hybrid automata
cost effective
neural network
real world
database
active learning
lightweight
computationally efficient
pattern matching
computationally expensive
signature verification