Using Counterexamples for Improving the Precision of Reachability Computation with Polyhedra.

Chao Wang Zijiang Yang Aarti Gupta Franjo Ivancic

Published in: CAV (2007)

Keyphrases

special case
high precision
efficiently computing
numerical stability
artificial intelligence
convex hull
state space
expert systems
transitive closure
parallel algorithm
real time
three dimensional
clustering algorithm
social networks
genetic algorithm
neural network
data sets