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

^*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review