ParaPlan: A Tool for Parallel Reachability Analysis of Planar Polygonal Differential Inclusion Systems. - Andrei Sandler; Olga Tveretina (GandALF, 2017)

Deciding Reachability for Piecewise Constant Derivative Systems on Orientable Manifolds. - Andrei Sandler; Olga Tveretina (RP, 2019)