Alessandro Fantechi
IdRefMots clés
FR |
EN
Maison intelligente
Conception de services
Apprentissage par renforcement
Représentation de connaissance et raisonnement
Domotique
Apprentissage par renforcement (intelligence artificielle)
Apprentissage automatique
Design des services
Services
Verification basée sur les modèles
Méthodes formelles
Techniques de descriptions formelles
Sémantique opérationnelle
Concurrence
Systèmes GALS
Langages de programmation -- Sémantique
Orchestration
Internet des objets, IOT
Architecture
Sémantique