Aller directement à la barre de recherche

Le moteur de recherche
des thèses françaises

Désactiver l'aide à la saisie

Mahsa Shirmohammadi

Mots clés

FR |

EN

Markov decision process

Automates probabilistes

Mots synchronisants

Markov, Processus de

Logiciels -- Vérification

Automate synchronisant

Code à longueur variable

Conjecture de Černy

Conjecture de Restivo

Synchronisation

Écriture (le mot français)