Le moteur de recherche
des thèses françaises
Meroua Bouzid
IdRefMots clés
FR |
EN
Intelligence artificielle
Industrie 4.0
Logique épistémique dynamique probabiliste
Vérification de modèles symbolique
Diagrammes de Décision Valués
Représentation des connaissances
Logique épistémique
Compilation (informatique)
Vérification de modèles (informatique)
Réseau de tâches hiérarchique
Planification temporelle
Htn
Planification hybride
Progiciels de gestion intégrés
Contexte ITS
Autonomie coopérative
Systèmes distribués
Véhicules autonomes
Systèmes autonomes distribués (informatique)
Temporel