9 Publications

Mark all

[9]
2018 | Conference Paper | IST-REx-ID: 5788
Infinite-duration poorman-bidding games
G. Avni, T.A. Henzinger, R. Ibsen-Jensen, in:, G. Christodoulou, T. Harks (Eds.), Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer, 2018.
View | DOI
 
[8]
2018 | Conference Paper | IST-REx-ID: 56   OA
Infinite-duration Poorman-bidding games
G. Avni, R. Ibsen-Jensen, T.A. Henzinger, in:, Unknown, 2018.
View | Download (ext.)
 
[7]
2018 | Journal Article | IST-REx-ID: 608
Synthesis from component libraries with costs
G. Avni, O. Kupferman, Theoretical Computer Science 712 (2018).
View | DOI
 
[6]
2017 | Conference Paper | IST-REx-ID: 1116   OA
Computing scores of forwarding schemes in switched networks with probabilistic faults
G. Avni, S. Goel, T.A. Henzinger, G. Rodríguez Navas, in:, Springer, 2017.
View | Files available | DOI
 
[5]
2017 | Conference Paper | IST-REx-ID: 1003   OA
An abstraction-refinement methodology for reasoning about network games
G. Avni, S. Guha, O. Kupferman, in:, AAAI Press, 2017.
View | Files available | DOI
 
[4]
2017 | Conference Paper | IST-REx-ID: 950   OA
Infinite-duration bidding games
G. Avni, T.A. Henzinger, V.K. Chonev, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.
View | Files available | DOI | Download (ext.)
 
[3]
2017 | Conference Paper | IST-REx-ID: 963   OA
Timed network games with clocks
G. Avni, S. Guha, O. Kupferman, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.
View | Files available | DOI
 
[2]
2016 | Conference Paper | IST-REx-ID: 1135   OA
Synthesizing time triggered schedules for switched networks with faulty links
G. Avni, S. Guha, G. Rodríguez Navas, in:, ACM, 2016.
View | Files available | DOI | Download (ext.)
 
[1]
2016 | Conference Paper | IST-REx-ID: 1341   OA
Dynamic resource allocation games
G. Avni, T.A. Henzinger, O. Kupferman, in:, Springer, 2016.
View | Files available | DOI
 

Search

Filter Publications

Display / Sort

Export / Embed

9 Publications

Mark all

[9]
2018 | Conference Paper | IST-REx-ID: 5788
Infinite-duration poorman-bidding games
G. Avni, T.A. Henzinger, R. Ibsen-Jensen, in:, G. Christodoulou, T. Harks (Eds.), Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer, 2018.
View | DOI
 
[8]
2018 | Conference Paper | IST-REx-ID: 56   OA
Infinite-duration Poorman-bidding games
G. Avni, R. Ibsen-Jensen, T.A. Henzinger, in:, Unknown, 2018.
View | Download (ext.)
 
[7]
2018 | Journal Article | IST-REx-ID: 608
Synthesis from component libraries with costs
G. Avni, O. Kupferman, Theoretical Computer Science 712 (2018).
View | DOI
 
[6]
2017 | Conference Paper | IST-REx-ID: 1116   OA
Computing scores of forwarding schemes in switched networks with probabilistic faults
G. Avni, S. Goel, T.A. Henzinger, G. Rodríguez Navas, in:, Springer, 2017.
View | Files available | DOI
 
[5]
2017 | Conference Paper | IST-REx-ID: 1003   OA
An abstraction-refinement methodology for reasoning about network games
G. Avni, S. Guha, O. Kupferman, in:, AAAI Press, 2017.
View | Files available | DOI
 
[4]
2017 | Conference Paper | IST-REx-ID: 950   OA
Infinite-duration bidding games
G. Avni, T.A. Henzinger, V.K. Chonev, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.
View | Files available | DOI | Download (ext.)
 
[3]
2017 | Conference Paper | IST-REx-ID: 963   OA
Timed network games with clocks
G. Avni, S. Guha, O. Kupferman, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.
View | Files available | DOI
 
[2]
2016 | Conference Paper | IST-REx-ID: 1135   OA
Synthesizing time triggered schedules for switched networks with faulty links
G. Avni, S. Guha, G. Rodríguez Navas, in:, ACM, 2016.
View | Files available | DOI | Download (ext.)
 
[1]
2016 | Conference Paper | IST-REx-ID: 1341   OA
Dynamic resource allocation games
G. Avni, T.A. Henzinger, O. Kupferman, in:, Springer, 2016.
View | Files available | DOI
 

Search

Filter Publications

Display / Sort

Export / Embed