ParaPlan: A Tool for Parallel Reachability Analysis of Planar Polygonal Differential Inclusion Systems.

Andrei Sandler Olga Tveretina

Published in: GandALF (2017)

Keyphrases

reachability analysis
artificial intelligence
complex systems
parallel processing
machine learning
distributed systems
search algorithm
dynamic programming
computer systems