Projets financés
Méthodes formelles pour l'analysis et le développement de systèmes cyber-physiques intégrant l'intelligence artificielle – CyphAI
ANR - JST CREST Mathematical Information Platform
2020
L'intelligence artificielle (IA) révolutionne les systèmes d'information utilisés pour la commande et la supervision de divers appareils (tels que capteurs, robots, dispositifs IoT). Parmi ces systèmes d'information se trouvent les systèmes cyber-physiques (CPS) d'où émerge une nouvelle génération d
