Automating Abstraction Computations of Hybrid Systems

Submitted by lahdakadmin on Fri, 12/14/2018 - 17:28
TitleAutomating Abstraction Computations of Hybrid Systems
Publication TypeConference Paper
Year of Publication2018
AuthorsZaatiti, H, Ye, L, Dague, P, Gallois, J-P
Conference NameCICM 2018 - 11th Conference on Intelligent Computer Mathematics ; Workshop FVPS 2018 - Formal Verification of Physical Systems
Date PublishedAug
Conference LocationHagenberg, Austria
URLhttps://hal.archives-ouvertes.fr/hal-01839897