Javier Esparza
IdRefMots clés
FR |
EN
Automates à pile
Vérification de modèles (informatique)
Réseaux de Petri
Apprentissage automatique
Vérification
Petri, Réseaux de
Apprentissage supervisé (intelligence artificielle)
Logiciels -- Vérification
Concurrence
Planification modulaire
Systèmes à événements discrets
Intelligence artificielle répartie
Systèmes échantillonnés
Systèmes à pile
LTL (Logique Temporelle Linéaire)
Hyper-propriétés
Automate à surpile
Pointeur de pile
Réseaux d'automates à pile synchronisés
Abstraction de Kleene