Automating Abstraction Computations of Hybrid Systems - Archive ouverte HAL
Communication Dans Un Congrès Année : 2018

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
  • Fonction : Auteur
  • PersonId : 1026008
Laboratoire d'Intégration des Systèmes et des Technologies

Domaines

Intelligence artificielle [cs.AI]

Philippe Dague  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-01839897

Soumis le : lundi 16 juillet 2018-10:38:23

Dernière modification le : mardi 3 septembre 2024-11:16:05

Fichier non déposé

Dates et versions

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

Identifiants

  • HAL Id : hal-01839897 , version 1

Citer

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⟩

Exporter

BibTeX XML-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 GS-SPORT-HUMAN-MOVEMENT LISN-LAHDAK LMF
170 Consultations
0 Téléchargements

Partager

More