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