C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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