DMCA

Abstraction-Based Guided Search for Hybrid Systems

by Sergiy Bogomolov , Re Donzé , Goran Frehse , Radu Grosu , Taylor T. Johnson , Hamed Ladan , Andreas Podelski , Martin Wehrle