Formal Design of Cyber-Physical Systems with Learning-Enabled Components - Archive ouverte HAL
Communication Dans Un Congrès Année : 2023

Formal Design of Cyber-Physical Systems with Learning-Enabled Components

Thao Dang (1)
Thao Dang
VERIMAG

Domaines

Informatique [cs]
Fichier principal
Vignette du fichier
paper1.pdf (802.48 Ko) Télécharger le fichier
Origine Fichiers éditeurs autorisés sur une archive ouverte

Thao Dang  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-04794880

Soumis le : jeudi 21 novembre 2024-10:07:17

Dernière modification le : mercredi 27 novembre 2024-03:11:47

Télécharger pour visualiser

Dates et versions

hal-04794880 , version 1 (21-11-2024)

Licence

Paternité

Identifiants

  • HAL Id : hal-04794880 , version 1

Citer

Thao Dang. Formal Design of Cyber-Physical Systems with Learning-Enabled Components. OVERLAY 2023 Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis 2023, Nov 2023, Rome, Italy. ⟨hal-04794880⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UGA IMAG CNRS VERIMAG
0 Consultations
0 Téléchargements

Partager

More