( en | de | ru )

 

Disambiguierung von "Avni, Guy"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Infinite-Duration Poorman-Bidding Games.

, , und . WINE, Volume 11316 von Lecture Notes in Computer Science, Seite 21-36. Springer, (2018)

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.

Yehuda Avniel

Karin Avnit

Avni Dörtbudak

Avni Yazan

Avni Mazrreku

 

Weitere Publikationen von Autoren mit dem selben Namen

Run-Time Optimization for Learned Controllers Through Quantitative Games., , , , , und . CAV (1), Volume 11561 von Lecture Notes in Computer Science, Seite 630-649. Springer, (2019)Synthesis from Component Libraries with Costs., und . CONCUR, Volume 8704 von Lecture Notes in Computer Science, Seite 156-172. Springer, (2014)Congestion Games with Multisets of Resources and Applications in Synthesis., , und . FSTTCS, Volume 45 von LIPIcs, Seite 365-379. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2015)Quantitative Formal Methods Meets Algorithmic Game Theory (שער נוסף בעברית: שיטות פורמליות כמותיות פוגשות את תורת המשחקים החישובית.).. Hebrew University of Jerusalem, Israel, (2016)Infinite-Duration All-Pay Bidding Games., , und . SODA, Seite 617-636. SIAM, (2021)Formal Methods with a Touch of Magic., , , und . FMCAD, Seite 138-147. IEEE, (2020)An Updated Survey of Bidding Games on Graphs (Invited Talk)., und . MFCS, Volume 241 von LIPIcs, Seite 3:1-3:6. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)Bidding Graph Games with Partially-Observable Budgets., , und . AAAI, Seite 5464-5471. AAAI Press, (2023)Infinite-Duration Poorman-Bidding Games., , und . WINE, Volume 11316 von Lecture Notes in Computer Science, Seite 21-36. Springer, (2018)Infinite-Duration Bidding Games., , und . CONCUR, Volume 85 von LIPIcs, Seite 21:1-21:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)