Etude comparative des méthodes pour la vérification des systèmes cyber-physiques basés machine learning
1 : Collins Aerospace
Aeospace
Cet article est un résumé étendu de l'article "Verification of machine learning based cyber-physical systems: a comparative study", accepté à HSCC 2022 (25th ACM International Conference on Hybrid Systems: Computation and Control).
| Type : | : | oral |
| Thématiques | : | AFADL |
| PDF version | : |  PDF version |
- Poster
