16 Publications

Mark all

[16]
2020 | Journal Article | IST-REx-ID: 6761
G. Avni, T. A. Henzinger, and O. Kupferman, “Dynamic resource allocation games,” Theoretical Computer Science, vol. 807, pp. 42–55, 2020.
View | Files available | DOI
 
[15]
2019 | Conference Paper | IST-REx-ID: 6822   OA
G. Avni, T. A. Henzinger, R. Ibsen-Jensen, and P. Novotny, “Bidding games on Markov decision processes,” in Proceedings of the 13th International Conference of Reachability Problems, Brussels, Belgium, 2019, vol. 11674, pp. 1–12.
View | Files available | DOI
 
[14]
2019 | Conference Paper | IST-REx-ID: 6884   OA
G. Avni, T. A. Henzinger, and D. Zikelic, “Bidding mechanisms in graph games,” presented at the MFCS: nternational Symposium on Mathematical Foundations of Computer Science, Aachen, Germany, 2019, vol. 138.
View | Files available | DOI | arXiv
 
[13]
2019 | Journal Article | IST-REx-ID: 6752
G. Avni, T. A. Henzinger, and V. K. Chonev, “Infinite-duration bidding games,” Journal of the ACM, vol. 66, no. 4, 2019.
View | Files available | DOI | Download (ext.) | arXiv
 
[12]
2019 | Conference Paper | IST-REx-ID: 6462   OA
G. Avni, R. Bloem, K. Chatterjee, T. A. Henzinger, B. Konighofer, and S. Pranger, “Run-time optimization for learned controllers through quantitative games,” in 31st International Conference on Computer-Aided Verification, New York, NY, United States, 2019, vol. 11561, pp. 630–649.
View | Files available | DOI
 
[11]
2019 | Conference Paper | IST-REx-ID: 6886   OA
M. Aghajohari, G. Avni, and T. A. Henzinger, “Determinacy in discrete-bidding infinite-duration games,” presented at the CONCUR: International Conference on Concurrency Theory, Amsterdam, Netherlands, 2019, vol. 140.
View | Files available | DOI | arXiv
 
[10]
2018 | Conference Paper | IST-REx-ID: 5788   OA
G. Avni, T. A. Henzinger, and R. Ibsen-Jensen, “Infinite-duration poorman-bidding games,” presented at the 14th International Conference on Web and Internet Economics, WINE, Oxford, UK, 2018, vol. 11316, pp. 21–36.
View | DOI | Download (ext.) | arXiv
 
[9]
2018 | Conference Paper | IST-REx-ID: 6005
G. Avni, S. Guha, and O. Kupferman, “Timed network games with clocks,” presented at the MFCS: Mathematical Foundations of Computer Science, Liverpool, United Kingdom, 2018, vol. 117.
View | Files available | DOI
 
[8]
2018 | Journal Article | IST-REx-ID: 6006   OA
G. Avni, S. Guha, and O. Kupferman, “An abstraction-refinement methodology for reasoning about network games,” Games, vol. 9, no. 3, 2018.
View | Files available | DOI
 
[7]
2018 | Journal Article | IST-REx-ID: 608
G. Avni and O. Kupferman, “Synthesis from component libraries with costs,” Theoretical Computer Science, vol. 712, pp. 50–72, 2018.
View | DOI
 
[6]
2017 | Conference Paper | IST-REx-ID: 1116   OA
G. Avni, S. Goel, T. A. Henzinger, and G. Rodríguez Navas, “Computing scores of forwarding schemes in switched networks with probabilistic faults,” presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Uppsala, Sweden, 2017, vol. 10206, pp. 169–187.
View | Files available | DOI
 
[5]
2017 | Conference Paper | IST-REx-ID: 1003
G. Avni, S. Guha, and O. Kupferman, “An abstraction-refinement methodology for reasoning about network games,” presented at the IJCAI: International Joint Conference on Artificial Intelligence , Melbourne, Australia, 2017, pp. 70–76.
View | Files available | DOI
 
[4]
2017 | Conference Paper | IST-REx-ID: 950   OA
G. Avni, T. A. Henzinger, and V. K. Chonev, “Infinite-duration bidding games,” presented at the CONCUR: Concurrency Theory, Berlin, Germany, 2017, vol. 85.
View | Files available | DOI | arXiv
 
[3]
2017 | Conference Paper | IST-REx-ID: 963   OA
G. Avni, S. Guha, and O. Kupferman, “Timed network games with clocks,” presented at the MFCS: Mathematical Foundations of Computer Science (SG), Aalborg, Denmark, 2017, vol. 83.
View | Files available | DOI
 
[2]
2016 | Conference Paper | IST-REx-ID: 1135   OA
G. Avni, S. Guha, and G. Rodríguez Navas, “Synthesizing time triggered schedules for switched networks with faulty links,” in Proceedings of the 13th International Conference on Embedded Software , Pittsburgh, PA, USA, 2016.
View | Files available | DOI
 
[1]
2016 | Conference Paper | IST-REx-ID: 1341
G. Avni, T. A. Henzinger, and O. Kupferman, “Dynamic resource allocation games,” presented at the SAGT: Symposium on Algorithmic Game Theory, Liverpool, United Kingdom, 2016, vol. 9928, pp. 153–166.
View | Files available | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed

16 Publications

Mark all

[16]
2020 | Journal Article | IST-REx-ID: 6761
G. Avni, T. A. Henzinger, and O. Kupferman, “Dynamic resource allocation games,” Theoretical Computer Science, vol. 807, pp. 42–55, 2020.
View | Files available | DOI
 
[15]
2019 | Conference Paper | IST-REx-ID: 6822   OA
G. Avni, T. A. Henzinger, R. Ibsen-Jensen, and P. Novotny, “Bidding games on Markov decision processes,” in Proceedings of the 13th International Conference of Reachability Problems, Brussels, Belgium, 2019, vol. 11674, pp. 1–12.
View | Files available | DOI
 
[14]
2019 | Conference Paper | IST-REx-ID: 6884   OA
G. Avni, T. A. Henzinger, and D. Zikelic, “Bidding mechanisms in graph games,” presented at the MFCS: nternational Symposium on Mathematical Foundations of Computer Science, Aachen, Germany, 2019, vol. 138.
View | Files available | DOI | arXiv
 
[13]
2019 | Journal Article | IST-REx-ID: 6752
G. Avni, T. A. Henzinger, and V. K. Chonev, “Infinite-duration bidding games,” Journal of the ACM, vol. 66, no. 4, 2019.
View | Files available | DOI | Download (ext.) | arXiv
 
[12]
2019 | Conference Paper | IST-REx-ID: 6462   OA
G. Avni, R. Bloem, K. Chatterjee, T. A. Henzinger, B. Konighofer, and S. Pranger, “Run-time optimization for learned controllers through quantitative games,” in 31st International Conference on Computer-Aided Verification, New York, NY, United States, 2019, vol. 11561, pp. 630–649.
View | Files available | DOI
 
[11]
2019 | Conference Paper | IST-REx-ID: 6886   OA
M. Aghajohari, G. Avni, and T. A. Henzinger, “Determinacy in discrete-bidding infinite-duration games,” presented at the CONCUR: International Conference on Concurrency Theory, Amsterdam, Netherlands, 2019, vol. 140.
View | Files available | DOI | arXiv
 
[10]
2018 | Conference Paper | IST-REx-ID: 5788   OA
G. Avni, T. A. Henzinger, and R. Ibsen-Jensen, “Infinite-duration poorman-bidding games,” presented at the 14th International Conference on Web and Internet Economics, WINE, Oxford, UK, 2018, vol. 11316, pp. 21–36.
View | DOI | Download (ext.) | arXiv
 
[9]
2018 | Conference Paper | IST-REx-ID: 6005
G. Avni, S. Guha, and O. Kupferman, “Timed network games with clocks,” presented at the MFCS: Mathematical Foundations of Computer Science, Liverpool, United Kingdom, 2018, vol. 117.
View | Files available | DOI
 
[8]
2018 | Journal Article | IST-REx-ID: 6006   OA
G. Avni, S. Guha, and O. Kupferman, “An abstraction-refinement methodology for reasoning about network games,” Games, vol. 9, no. 3, 2018.
View | Files available | DOI
 
[7]
2018 | Journal Article | IST-REx-ID: 608
G. Avni and O. Kupferman, “Synthesis from component libraries with costs,” Theoretical Computer Science, vol. 712, pp. 50–72, 2018.
View | DOI
 
[6]
2017 | Conference Paper | IST-REx-ID: 1116   OA
G. Avni, S. Goel, T. A. Henzinger, and G. Rodríguez Navas, “Computing scores of forwarding schemes in switched networks with probabilistic faults,” presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Uppsala, Sweden, 2017, vol. 10206, pp. 169–187.
View | Files available | DOI
 
[5]
2017 | Conference Paper | IST-REx-ID: 1003
G. Avni, S. Guha, and O. Kupferman, “An abstraction-refinement methodology for reasoning about network games,” presented at the IJCAI: International Joint Conference on Artificial Intelligence , Melbourne, Australia, 2017, pp. 70–76.
View | Files available | DOI
 
[4]
2017 | Conference Paper | IST-REx-ID: 950   OA
G. Avni, T. A. Henzinger, and V. K. Chonev, “Infinite-duration bidding games,” presented at the CONCUR: Concurrency Theory, Berlin, Germany, 2017, vol. 85.
View | Files available | DOI | arXiv
 
[3]
2017 | Conference Paper | IST-REx-ID: 963   OA
G. Avni, S. Guha, and O. Kupferman, “Timed network games with clocks,” presented at the MFCS: Mathematical Foundations of Computer Science (SG), Aalborg, Denmark, 2017, vol. 83.
View | Files available | DOI
 
[2]
2016 | Conference Paper | IST-REx-ID: 1135   OA
G. Avni, S. Guha, and G. Rodríguez Navas, “Synthesizing time triggered schedules for switched networks with faulty links,” in Proceedings of the 13th International Conference on Embedded Software , Pittsburgh, PA, USA, 2016.
View | Files available | DOI
 
[1]
2016 | Conference Paper | IST-REx-ID: 1341
G. Avni, T. A. Henzinger, and O. Kupferman, “Dynamic resource allocation games,” presented at the SAGT: Symposium on Algorithmic Game Theory, Liverpool, United Kingdom, 2016, vol. 9928, pp. 153–166.
View | Files available | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed