![](/img/cover-not-exists.png)
Guided search for hybrid systems based on coarse-grained space abstractions
Bogomolov, Sergiy, Donzé, Alexandre, Frehse, Goran, Grosu, Radu, Johnson, Taylor T., Ladan, Hamed, Podelski, Andreas, Wehrle, MartinVolume:
18
Language:
english
Journal:
International Journal on Software Tools for Technology Transfer
DOI:
10.1007/s10009-015-0393-y
Date:
August, 2016
File:
PDF, 2.19 MB
english, 2016