16 Publications

Mark all

[16]
2019 | Conference Paper | IST-REx-ID: 6884   OA
Bidding mechanisms in graph games
G. Avni, T.A. Henzinger, D. Zikelic, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019, p. 11.
View | Files available | DOI | arXiv
 
[15]
2019 | Conference Paper | IST-REx-ID: 6822   OA
Bidding games on Markov decision processes
G. Avni, T.A. Henzinger, R. Ibsen-Jensen, P. Novotny, in:, Proceedings of the 13th International Conference of Reachability Problems, Springer, 2019, pp. 1–12.
View | Files available | DOI
 
[14]
2019 | Journal Article | IST-REx-ID: 6752
Infinite-duration bidding games
G. Avni, T.A. Henzinger, V.K. Chonev, Journal of the ACM 66 (2019) 31.
View | Files available | DOI | Download (ext.) | arXiv
 
[13]
2019 | Conference Paper | IST-REx-ID: 6462   OA
Run-time optimization for learned controllers through quantitative games
G. Avni, R. Bloem, K. Chatterjee, T.A. Henzinger, B. Konighofer, S. Pranger, in:, 31st International Conference on Computer-Aided Verification, Springer, 2019, pp. 630–649.
View | Files available | DOI
 
[12]
2019 | Conference Paper | IST-REx-ID: 6886   OA
Determinacy in discrete-bidding infinite-duration games
M. Aghajohari, G. Avni, T.A. Henzinger, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019, p. 20.
View | Files available | DOI | arXiv
 
[11]
2019 | Journal Article | IST-REx-ID: 6761
Dynamic resource allocation games
G. Avni, T.A. Henzinger, O. Kupferman, Theoretical Computer Science (n.d.).
View | Files available | DOI
 
[10]
2018 | Conference Paper | IST-REx-ID: 5788   OA
Infinite-duration poorman-bidding games
G. Avni, T.A. Henzinger, R. Ibsen-Jensen, in:, Springer, 2018, pp. 21–36.
View | DOI | Download (ext.) | arXiv
 
[9]
2018 | Conference Paper | IST-REx-ID: 6005
Timed network games with clocks
G. Avni, S. Guha, O. Kupferman, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018, p. 23.
View | Files available | DOI
 
[8]
2018 | Journal Article | IST-REx-ID: 6006   OA
An abstraction-refinement methodology for reasoning about network games
G. Avni, S. Guha, O. Kupferman, Games 9 (2018) 39.
View | Files available | DOI
 
[7]
2018 | Journal Article | IST-REx-ID: 608
Synthesis from component libraries with costs
G. Avni, O. Kupferman, Theoretical Computer Science 712 (2018) 50–72.
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, pp. 169–187.
View | Files available | DOI
 
[5]
2017 | Conference Paper | IST-REx-ID: 1003
An abstraction-refinement methodology for reasoning about network games
G. Avni, S. Guha, O. Kupferman, in:, AAAI Press, 2017, pp. 70–76.
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, p. 17.
View | Files available | DOI | arXiv
 
[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, p. 37.
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:, Proceedings of the 13th International Conference on Embedded Software , ACM, 2016.
View | Files available | DOI
 
[1]
2016 | Conference Paper | IST-REx-ID: 1341
Dynamic resource allocation games
G. Avni, T.A. Henzinger, O. Kupferman, in:, Springer, 2016, pp. 153–166.
View | Files available | DOI
 

Search

Filter Publications

Display / Sort

Export / Embed

16 Publications

Mark all

[16]
2019 | Conference Paper | IST-REx-ID: 6884   OA
Bidding mechanisms in graph games
G. Avni, T.A. Henzinger, D. Zikelic, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019, p. 11.
View | Files available | DOI | arXiv
 
[15]
2019 | Conference Paper | IST-REx-ID: 6822   OA
Bidding games on Markov decision processes
G. Avni, T.A. Henzinger, R. Ibsen-Jensen, P. Novotny, in:, Proceedings of the 13th International Conference of Reachability Problems, Springer, 2019, pp. 1–12.
View | Files available | DOI
 
[14]
2019 | Journal Article | IST-REx-ID: 6752
Infinite-duration bidding games
G. Avni, T.A. Henzinger, V.K. Chonev, Journal of the ACM 66 (2019) 31.
View | Files available | DOI | Download (ext.) | arXiv
 
[13]
2019 | Conference Paper | IST-REx-ID: 6462   OA
Run-time optimization for learned controllers through quantitative games
G. Avni, R. Bloem, K. Chatterjee, T.A. Henzinger, B. Konighofer, S. Pranger, in:, 31st International Conference on Computer-Aided Verification, Springer, 2019, pp. 630–649.
View | Files available | DOI
 
[12]
2019 | Conference Paper | IST-REx-ID: 6886   OA
Determinacy in discrete-bidding infinite-duration games
M. Aghajohari, G. Avni, T.A. Henzinger, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019, p. 20.
View | Files available | DOI | arXiv
 
[11]
2019 | Journal Article | IST-REx-ID: 6761
Dynamic resource allocation games
G. Avni, T.A. Henzinger, O. Kupferman, Theoretical Computer Science (n.d.).
View | Files available | DOI
 
[10]
2018 | Conference Paper | IST-REx-ID: 5788   OA
Infinite-duration poorman-bidding games
G. Avni, T.A. Henzinger, R. Ibsen-Jensen, in:, Springer, 2018, pp. 21–36.
View | DOI | Download (ext.) | arXiv
 
[9]
2018 | Conference Paper | IST-REx-ID: 6005
Timed network games with clocks
G. Avni, S. Guha, O. Kupferman, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018, p. 23.
View | Files available | DOI
 
[8]
2018 | Journal Article | IST-REx-ID: 6006   OA
An abstraction-refinement methodology for reasoning about network games
G. Avni, S. Guha, O. Kupferman, Games 9 (2018) 39.
View | Files available | DOI
 
[7]
2018 | Journal Article | IST-REx-ID: 608
Synthesis from component libraries with costs
G. Avni, O. Kupferman, Theoretical Computer Science 712 (2018) 50–72.
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, pp. 169–187.
View | Files available | DOI
 
[5]
2017 | Conference Paper | IST-REx-ID: 1003
An abstraction-refinement methodology for reasoning about network games
G. Avni, S. Guha, O. Kupferman, in:, AAAI Press, 2017, pp. 70–76.
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, p. 17.
View | Files available | DOI | arXiv
 
[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, p. 37.
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:, Proceedings of the 13th International Conference on Embedded Software , ACM, 2016.
View | Files available | DOI
 
[1]
2016 | Conference Paper | IST-REx-ID: 1341
Dynamic resource allocation games
G. Avni, T.A. Henzinger, O. Kupferman, in:, Springer, 2016, pp. 153–166.
View | Files available | DOI
 

Search

Filter Publications

Display / Sort

Export / Embed