Le moteur de recherche
des thèses françaises
Wieslaw Zielonka
IdRefMots clés
FR |
EN
Théorie des jeux
Jeux de parité
Jeux de priorité
Markov, Processus de
Systèmes stochastiques
Logique temporelle
Vérification formelle
Logiciels -- Vérification
Informatique
Théorie des automates mathématiques
Processus stochastiques
Jeux répétés à somme nulle
Jeux stochastiques à paiement moyen
Contrôle ergodique
Opérateur de Shapley
Opérateurs accrétifs
Hypergraphes
Optimisation mathématique
Opérateurs monotones