( en | de | ru )

 

Disambiguierung von "Bruyère, Véronique"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
On the existence of weak subgame perfect equilibria.

, , , und . CoRR, (2016)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Marc Bruyère

Véronique Trappe

Véronique Porra

Véronique Buschmann

Véronique Mersseman

 

Weitere Publikationen von Autoren mit dem selben Namen

Durations and parametric model-checking in timed automata., , und . ACM Trans. Comput. Log., 9 (2): 12:1-12:23 (2008)Active Learning of Mealy Machines with Timers., , , , und . CoRR, (2024)Automata with Timers., , , und . FORMATS, Volume 14138 von Lecture Notes in Computer Science, Seite 33-49. Springer, (2023)Antichain-Based QBF Solving., , , , und . ATVA, Volume 6996 von Lecture Notes in Computer Science, Seite 183-197. Springer, (2011)The Complexity of Subgame Perfect Equilibria in Quantitative Reachability Games (full version)., , , , und . CoRR, (2019)Recognizable Sets of Numbers in Nonstandard Bases., und . LATIN, Volume 911 von Lecture Notes in Computer Science, Seite 167-179. Springer, (1995)Turán Graphs, Stability Number, and Fibonacci Index., und . COCOA, Volume 5165 von Lecture Notes in Computer Science, Seite 127-138. Springer, (2008)Pareto-Rational Verification., , und . CONCUR, Volume 243 von LIPIcs, Seite 33:1-33:20. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)Secure equilibria in weighted games., , und . CSL-LICS, Seite 26:1-26:26. ACM, (2014)Subgame Perfection for Equilibria in Quantitative Reachability Games., , , und . FoSSaCS, Volume 7213 von Lecture Notes in Computer Science, Seite 286-300. Springer, (2012)