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 (CAV, 2012)

Abstraction-Based Guided Search for Hybrid Systems. - Sergiy Bogomolov; Alexandre Donzé; Goran Frehse; Radu Grosu; Taylor T. Johnson; Hamed Ladan; Andreas Podelski; Martin Wehrle (SPIN, 2013)

Guided search for hybrid systems based on coarse-grained space abstractions. - Sergiy Bogomolov; Alexandre Donzé; Goran Frehse; Radu Grosu; Taylor T. Johnson; Hamed Ladan; Andreas Podelski; Martin Wehrle (Int. J. Softw. Tools Technol. Transf., 2016)