@article{BDF+6,
title = {Guided search for hybrid systems based on coarse-grained space abstractions },
author = {Bogomolov, Sergiy and Donz\'e, Alexandre and Frehse, Goran and Grosu, Radu and Johnson, Taylor T and Ladan, Hamed and Podelski, Andreas and Wehrle, Martin},
year = {2016},
journal = {{STTT}},
number = {4},
pages = {449--467},
volume = {18},
team = {TEMPO},
}
