Formal Methods meets Algorithmic Game Theory

Project Period: 2018-02-01 – 2020-01-31
Externally Funded
Principal Investigator
Guy Avni
Department(s)
Henzinger Group
Grant Number
M02369
Funding Organisation
FWF

9 Publications

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
 
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
 
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
 
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
 
2018 | Journal Article | IST-REx-ID: 6006
An abstraction-refinement methodology for reasoning about network games
G. Avni, S. Guha, O. Kupferman, Games 9 (2018) 39.
View | Files available | DOI
 
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
 
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
 
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
 
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