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
*Corresponding author for this work
Research output: Contribution to journal › Article › peer-review
15
Citations
(Scopus)