Guided search for hybrid systems based on coarse-grained space abstractions

Por Bogomolov, Sergiy, Donzé, Alexandre, Frehse, Goran, Grosu, Radu, Johnson, Taylor T., Ladan, Hamed, Podelski, Andreas, Wehrle, Martin
Publicado no Int J Softw Tools Technol Transf (2015)