Automating Abstraction Computations of Hybrid Systems - Laboratoire Interdisciplinaire des Sciences du Numérique Access content directly
Conference Papers Year :

Automating Abstraction Computations of Hybrid Systems

Hadi Zaatiti
Données et Connaissances Massives et Hétérogènes (LRI)
Lina Ye
Modélisation hétérogène (LRI)
Philippe Dague
Données et Connaissances Massives et Hétérogènes (LRI)
Jean-Pierre Gallois
  • Function : Author
  • PersonId : 1026008
Laboratoire d'Intégration des Systèmes et des Technologies

Domains

Artificial Intelligence [cs.AI]

Philippe Dague  : Connect in order to contact the contributor

https://hal.science/hal-01839897

Submitted on : Monday, July 16, 2018-10:38:23 AM

Last modification on : Friday, March 24, 2023-2:53:07 PM

Not file

Dates and versions

hal-01839897 , version 1 (16-07-2018)

Identifiers

  • HAL Id : hal-01839897 , version 1

Cite

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⟩

Export

BibTeX TEI Dublin Core DC Terms EndNote Datacite

Collections

CEA CNRS UMR8623 CENTRALESUPELEC LRI-MODHEL DRT LRI-LAHDAK UNIV-PARIS-SACLAY LIST LISN GS-ENGINEERING GS-COMPUTER-SCIENCE LISN-LAHDAK
121 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More