A Box-Based Distance between Regions for Guiding the Reachability Analysis of SpaceEx.

Sergiy Bogomolov, Goran Frehse, Radu Grosu, Hamed Ladan, Andreas Podelski, Martin Wehrle

Browse the full CAV paper archive.