Autor der Publikation

Hyperplane Separation Technique for Multidimensional Mean-Payoff Games.

, und . CONCUR, Volume 8052 von Lecture Notes in Computer Science, Seite 500-515. Springer, (2013)

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

The Complexity of Multi-Mean-Payoff and Multi-Energy Games, , , , , und . CoRR, (2012)Visibly Pushdown Modular Games., , und . GandALF, Volume 161 von EPTCS, Seite 260-274. (2014)The Complexity of Infinitely Repeated Alternating Move Games.. ICALP (1), Volume 7965 von Lecture Notes in Computer Science, Seite 816-827. Springer, (2013)SoK: Liquid Staking Tokens (LSTs)., , , und . CoRR, (2024)Strategy Synthesis for Mean-Payoff Expression Objectives. CoRR, (2012)Finite-memory strategy synthesis for robust multidimensional mean-payoff objectives.. CSL-LICS, Seite 79:1-79:10. ACM, (2014)Church Synthesis Problem for Noisy Input., und . FoSSaCS, Volume 6604 von Lecture Notes in Computer Science, Seite 275-289. Springer, (2011)Mean-Payoff Pushdown Games., und . LICS, Seite 195-204. IEEE Computer Society, (2012)The Complexity of Mean-Payoff Pushdown Games., und . J. ACM, 64 (5): 34:1-34:49 (2017)The Complexity of Alternating Move Games. CoRR, (2012)