Skip to content
Présentation
Équipes
Logique, calcul et programmation
Spécification et vérification de systèmes
Masters
Membres
Publications
Séminaire
Contact
Comment venir ?
Connexion
Présentation
Équipes
Logique, calcul et programmation
Spécification et vérification de systèmes
Masters
Membres
Publications
Séminaire
Contact
Comment venir ?
Connexion
Première étape dans l’optimisation des champs cellulaires : une étude dans le cadre du problème de synchronisation des fusiliers
4 novembre 2019
Tien Thao N’guyen
(LACL)
TBA
Navigation de l’article
Sur les automates cellulaires préservant un sous-shift.
Subgame Perfect Equilibria in (quantitative) Reachability Games
