Sparse Polynomial Zonotopes: A Novel Set Representation for Reachability Analysis.

Niklas Kochdumper Matthias Althoff

Published in: CoRR (2019)

Keyphrases

reachability analysis
small number
machine learning
expert systems
probability distribution
random walk
model checking
decision theory
timed automata