( en | de | ru )

 

Disambiguierung von "Avni, Guy"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Formal Methods with a Touch of Magic.

, , , und . FMCAD, Seite 138-147. IEEE, (2020)

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 Mazrreku

Avni Yazan

 

Weitere Publikationen von Autoren mit dem selben Namen

Infinite-Duration Poorman-Bidding Games., , und . WINE, Volume 11316 von Lecture Notes in Computer Science, Seite 21-36. Springer, (2018)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)Infinite-Duration All-Pay Bidding Games., , und . SODA, Seite 617-636. SIAM, (2021)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)Quantitative Formal Methods Meets Algorithmic Game Theory (שער נוסף בעברית: שיטות פורמליות כמותיות פוגשות את תורת המשחקים החישובית.).. Hebrew University of Jerusalem, Israel, (2016)Bidding Graph Games with Partially-Observable Budgets., , und . AAAI, Seite 5464-5471. AAAI Press, (2023)Formal Methods with a Touch of Magic., , , und . FMCAD, Seite 138-147. IEEE, (2020)Stochastization of Weighted Automata., und . MFCS (1), Volume 9234 von Lecture Notes in Computer Science, Seite 89-102. Springer, (2015)