Communication dans un congrès, LaHDAK, Informatique, Intelligence artificielle

Automating Abstraction Computations of Hybrid Systems

Hadi Zaatiti, Lina Ye, Philippe Dague, Jean-Pierre Gallois. Automating Abstraction Computations of Hybrid Systems. CICM 2018 - 11th Conference on Intelligent Computer Mathematics ; Workshop FVPS 2018 - Formal Verification of Physical Systems, Aug 2018, Hagenberg, Austria. ⟨hal-01839897⟩

Publié le