Parallelotope Bundles for Polynomial Reachability.

Tommaso Dreossi Thao Dang Carla Piazza

Published in: HSCC (2016)

Keyphrases

state space
low order
data sets
artificial intelligence
clustering algorithm
transitive closure
data mining
decision trees
high level
database systems
preprocessing
higher order