Under-Approximating Backward Reachable Sets by Polytopes.

Bai Xue Zhikun She Arvind Easwaran

Published in: CAV (1) (2016)

Keyphrases

bi directional
database
learning algorithm
information systems
objective function
digital libraries
closed sets
forward and backward
set theoretic