1 paper
Andrei Sandler, Olga Tveretina
We present the ParaPlan tool which provides the reachability analysis of planar hybrid systems defined by differential inclusions (SPDI). It uses the parallelized and optimized ver…