Bouyer-Decitre, Patricia, 1976-....
Bouyer, Patricia, 1976-
Bouyer, Patricia
Patricia Bouyer-Decitre
VIAF ID: 76079436 ( Personal )
Permalink: http://viaf.org/viaf/76079436
Preferred Forms
-
-
-
- 100 1 _ ‡a Bouyer, Patricia, ‡d 1976-
-
-
- 100 1 _ ‡a Bouyer-Decitre, Patricia ‡d 1976-...
- 100 1 _ ‡a Bouyer-Decitre, Patricia, ‡d 1976-....
- 100 0 _ ‡a Patricia Bouyer-Decitre
4xx's: Alternate Name Forms (11)
Works
Title | Sources |
---|---|
Automate sur les structures temporisée | |
Complexité des stratégies des jeux sur graphes à somme nulle. | |
Développement et vérification de bibliothèques d'arithmétique entière en précision arbitraire. | |
Filtrage par motif temporisé : Théorie et Applications. | |
Formal modeling and analysis of timed systems, 2006: | |
Formalismes temporisés paramétriques pour la spécification et la surveillance | |
FORMATS 2006 | |
Foundations of Software Science and Computation Structures : 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings | |
Graphes monotones pour jeux de parité et à paiement moyen. | |
Information-flow Patterns in Games with Imperfect Information. | |
Modèles et algorithmes pour la vérification des systèmes temporisés | |
Modélisation formelle de systèmes de drones civils à l'aide de méthodes probabilistes paramétrées | |
Monotonic graphs for parity and mean-payoff games | |
Motifs de flot d'Information dans les jeux à information imparfaite | |
On the theory and practice of updatable parametric timed automata | |
Optimal strategies in priced timed game automata | |
Parametric Statistical model checking of UAV flight plan. | |
Parametric timed formalisms for specification and monitoring. | |
Pattern Matching with Time : Theory and Applications | |
Semantics of Strategy Logic | |
Stochastic games on graphs with applications to smart-grids optimization. | |
Stratégies randomisées dans les jeux concurrents | |
Strategy complexity of zero-sum games on graphs | |
Synthèse des systèmes réactifs interactifs. | |
Synthèse symbolique de contrôleurs pour systèmes temporisés : robustesse et optimalité. | |
Systèmes de fonctions holonomes : application à la théorie des automates | |
Timed automata may cause some troubles | |
Vérification de systèmes infinis et apprentissage automatique. | |
Vérification et synthèse de systèmes concurrents paramétrés. | |
Verification of Infinite-State Systems and Machine Learning | |
Verification of Stochastic Timed Automata |