Guy Avni

Henzinger_Thomas Group

27 Publications

Mark all

[27]
2024 | Published | Conference Paper | IST-REx-ID: 15376 | OA
Avni, Guy, et al. “Auction-Based Scheduling.” 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, vol. 14572, Springer Nature, 2024, pp. 153–72, doi:10.1007/978-3-031-57256-2_8.
[Published Version] View | Files available | DOI | arXiv
 
[26]
2024 | Published | Conference Paper | IST-REx-ID: 18066 | OA
Avni, Guy, et al. “Bidding Games with Charging.” 35th International Conference on Concurrency Theory, vol. 311, 8, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024, doi:10.4230/LIPIcs.CONCUR.2024.8.
[Published Version] View | Files available | DOI | arXiv
 
[25]
2023 | Published | Conference Paper | IST-REx-ID: 14518 | OA
Avni, Guy, et al. “Reachability Poorman Discrete-Bidding Games.” Frontiers in Artificial Intelligence and Applications, vol. 372, IOS Press, 2023, pp. 141–48, doi:10.3233/FAIA230264.
[Published Version] View | Files available | DOI | arXiv
 
[24]
2023 | Published | Conference Paper | IST-REx-ID: 14243 | OA
Avni, Guy, et al. “Bidding Graph Games with Partially-Observable Budgets.” Proceedings of the 37th AAAI Conference on Artificial Intelligence, vol. 37, no. 5, 2023, pp. 5464–71, doi:10.1609/aaai.v37i5.25679.
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 
[23]
2022 | Published | Conference Paper | IST-REx-ID: 12509 | OA
Avni, Guy, An updated survey of bidding games on graphs. 47th International Symposium on Mathematical Foundations of Computer Science 241. 2022
[Published Version] View | Files available | DOI
 
[22]
2021 | Published | Conference Paper | IST-REx-ID: 10694 | OA
Avni, Guy, et al. “Infinite-Duration All-Pay Bidding Games.” Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms, edited by Dániel Marx, Society for Industrial and Applied Mathematics, 2021, pp. 617–36, doi:10.1137/1.9781611976465.38.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
[21]
2021 | Published | Journal Article | IST-REx-ID: 10674 | OA
Aghajohari, Milad, et al. “Determinacy in Discrete-Bidding Infinite-Duration Games.” Logical Methods in Computer Science, vol. 17, no. 1, International Federation for Computational Logic, 2021, p. 10:1-10:23, doi:10.23638/LMCS-17(1:10)2021.
[Published Version] View | Files available | DOI | WoS | arXiv
 
[20]
2021 | Published | Journal Article | IST-REx-ID: 9239 | OA
Avni, Guy, et al. “Bidding Mechanisms in Graph Games.” Journal of Computer and System Sciences, vol. 119, no. 8, Elsevier, 2021, pp. 133–44, doi:10.1016/j.jcss.2021.02.008.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 
[19]
2020 | Published | Conference Paper | IST-REx-ID: 9040 | OA
Alamdari, Par Alizadeh, Formal methods with a touch of magic. Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design. 2020
[Published Version] View | Files available | DOI
 
[18]
2020 | Published | Conference Paper | IST-REx-ID: 8599 | OA
Avni, Guy, A survey of bidding games on graphs. 31st International Conference on Concurrency Theory 171. 2020
[Published Version] View | Files available | DOI
 
[17]
2020 | Published | Journal Article | IST-REx-ID: 9197
Avni, Guy, et al. “All-Pay Bidding Games on Graphs.” Proceedings of the AAAI Conference on Artificial Intelligence, vol. 34, no. 02, Association for the Advancement of Artificial Intelligence, 2020, pp. 1798–805, doi:10.1609/aaai.v34i02.5546.
[Preprint] View | DOI | arXiv
 
[16]
2020 | Published | Journal Article | IST-REx-ID: 6761 | OA
Avni, Guy, et al. “Dynamic Resource Allocation Games.” Theoretical Computer Science, vol. 807, Elsevier, 2020, pp. 42–55, doi:10.1016/j.tcs.2019.06.031.
[Submitted Version] View | Files available | DOI | WoS
 
[15]
2019 | Published | Conference Paper | IST-REx-ID: 6886 | OA
Aghajohari, Milad, Determinacy in discrete-bidding infinite-duration games. 140. 2019
[Published Version] View | Files available | DOI | arXiv
 
[14]
2019 | Published | Conference Paper | IST-REx-ID: 6822 | OA
Avni, Guy, et al. “Bidding Games on Markov Decision Processes.” Proceedings of the 13th International Conference of Reachability Problems, vol. 11674, Springer, 2019, pp. 1–12, doi:10.1007/978-3-030-30806-3_1.
[Submitted Version] View | Files available | DOI
 
[13]
2019 | Published | Conference Paper | IST-REx-ID: 6884 | OA
Avni, Guy, Bidding mechanisms in graph games. 138. 2019
[Published Version] View | Files available | DOI | arXiv
 
[12]
2019 | Published | Conference Paper | IST-REx-ID: 6462 | OA
Avni, Guy, et al. “Run-Time Optimization for Learned Controllers through Quantitative Games.” 31st International Conference on Computer-Aided Verification, vol. 11561, Springer, 2019, pp. 630–49, doi:10.1007/978-3-030-25540-4_36.
[Published Version] View | Files available | DOI | WoS
 
[11]
2019 | Published | Journal Article | IST-REx-ID: 6752 | OA
Avni, Guy, Infinite-duration bidding games. Journal of the ACM 66 (4). 2019
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 
[10]
2018 | Published | Journal Article | IST-REx-ID: 608 | OA
Avni, Guy, and Orna Kupferman. “Synthesis from Component Libraries with Costs.” Theoretical Computer Science, vol. 712, Elsevier, 2018, pp. 50–72, doi:10.1016/j.tcs.2017.11.001.
[Published Version] View | DOI | Download Published Version (ext.) | WoS
 
[9]
2018 | Conference Paper | IST-REx-ID: 5788 | OA
Avni, Guy, et al. Infinite-Duration Poorman-Bidding Games. Vol. 11316, Springer, 2018, pp. 21–36, doi:10.1007/978-3-030-04612-5_2.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
[8]
2018 | Published | Journal Article | IST-REx-ID: 6006 | OA
Avni, Guy, et al. “An Abstraction-Refinement Methodology for Reasoning about Network Games.” Games, vol. 9, no. 3, 39, MDPI, 2018, doi:10.3390/g9030039.
[Published Version] View | Files available | DOI
 
[7]
2018 | Published | Conference Paper | IST-REx-ID: 6005 | OA
Avni, Guy, et al. Timed Network Games with Clocks. Vol. 117, 23, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018, doi:10.4230/LIPICS.MFCS.2018.23.
[Published Version] View | Files available | DOI
 
[6]
2017 | Published | Conference Paper | IST-REx-ID: 1116 | OA
Avni, Guy, et al. Computing Scores of Forwarding Schemes in Switched Networks with Probabilistic Faults. Vol. 10206, Springer, 2017, pp. 169–87, doi:10.1007/978-3-662-54580-5_10.
[Submitted Version] View | Files available | DOI | WoS
 
[5]
2017 | Published | Conference Paper | IST-REx-ID: 950 | OA
Avni, Guy, et al. Infinite-Duration Bidding Games. Vol. 85, 17, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017, doi:10.4230/LIPIcs.CONCUR.2017.21.
[Published Version] View | Files available | DOI | arXiv
 
[4]
2017 | Published | Conference Paper | IST-REx-ID: 1003 | OA
Avni, Guy, An abstraction-refinement methodology for reasoning about network games. 2017
[Submitted Version] View | Files available | DOI | WoS
 
[3]
2017 | Published | Conference Paper | IST-REx-ID: 963 | OA
Avni, Guy, Timed network games with clocks. 83. 2017
[Published Version] View | Files available | DOI
 
[2]
2016 | Published | Conference Paper | IST-REx-ID: 1135 | OA
Avni, Guy, et al. “Synthesizing Time Triggered Schedules for Switched Networks with Faulty Links.” Proceedings of the 13th International Conference on Embedded Software , 26, ACM, 2016, doi:10.1145/2968478.2968499.
[Submitted Version] View | Files available | DOI
 
[1]
2016 | Published | Conference Paper | IST-REx-ID: 1341 | OA
Avni, Guy, et al. Dynamic Resource Allocation Games. Vol. 9928, Springer, 2016, pp. 153–66, doi:10.1007/978-3-662-53354-3_13.
[Preprint] View | Files available | DOI
 
Marked Publication(s)

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed

Grants


27 Publications

Mark all

[27]
2024 | Published | Conference Paper | IST-REx-ID: 15376 | OA
Avni, Guy, et al. “Auction-Based Scheduling.” 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, vol. 14572, Springer Nature, 2024, pp. 153–72, doi:10.1007/978-3-031-57256-2_8.
[Published Version] View | Files available | DOI | arXiv
 
[26]
2024 | Published | Conference Paper | IST-REx-ID: 18066 | OA
Avni, Guy, et al. “Bidding Games with Charging.” 35th International Conference on Concurrency Theory, vol. 311, 8, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024, doi:10.4230/LIPIcs.CONCUR.2024.8.
[Published Version] View | Files available | DOI | arXiv
 
[25]
2023 | Published | Conference Paper | IST-REx-ID: 14518 | OA
Avni, Guy, et al. “Reachability Poorman Discrete-Bidding Games.” Frontiers in Artificial Intelligence and Applications, vol. 372, IOS Press, 2023, pp. 141–48, doi:10.3233/FAIA230264.
[Published Version] View | Files available | DOI | arXiv
 
[24]
2023 | Published | Conference Paper | IST-REx-ID: 14243 | OA
Avni, Guy, et al. “Bidding Graph Games with Partially-Observable Budgets.” Proceedings of the 37th AAAI Conference on Artificial Intelligence, vol. 37, no. 5, 2023, pp. 5464–71, doi:10.1609/aaai.v37i5.25679.
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 
[23]
2022 | Published | Conference Paper | IST-REx-ID: 12509 | OA
Avni, Guy, An updated survey of bidding games on graphs. 47th International Symposium on Mathematical Foundations of Computer Science 241. 2022
[Published Version] View | Files available | DOI
 
[22]
2021 | Published | Conference Paper | IST-REx-ID: 10694 | OA
Avni, Guy, et al. “Infinite-Duration All-Pay Bidding Games.” Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms, edited by Dániel Marx, Society for Industrial and Applied Mathematics, 2021, pp. 617–36, doi:10.1137/1.9781611976465.38.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
[21]
2021 | Published | Journal Article | IST-REx-ID: 10674 | OA
Aghajohari, Milad, et al. “Determinacy in Discrete-Bidding Infinite-Duration Games.” Logical Methods in Computer Science, vol. 17, no. 1, International Federation for Computational Logic, 2021, p. 10:1-10:23, doi:10.23638/LMCS-17(1:10)2021.
[Published Version] View | Files available | DOI | WoS | arXiv
 
[20]
2021 | Published | Journal Article | IST-REx-ID: 9239 | OA
Avni, Guy, et al. “Bidding Mechanisms in Graph Games.” Journal of Computer and System Sciences, vol. 119, no. 8, Elsevier, 2021, pp. 133–44, doi:10.1016/j.jcss.2021.02.008.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 
[19]
2020 | Published | Conference Paper | IST-REx-ID: 9040 | OA
Alamdari, Par Alizadeh, Formal methods with a touch of magic. Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design. 2020
[Published Version] View | Files available | DOI
 
[18]
2020 | Published | Conference Paper | IST-REx-ID: 8599 | OA
Avni, Guy, A survey of bidding games on graphs. 31st International Conference on Concurrency Theory 171. 2020
[Published Version] View | Files available | DOI
 
[17]
2020 | Published | Journal Article | IST-REx-ID: 9197
Avni, Guy, et al. “All-Pay Bidding Games on Graphs.” Proceedings of the AAAI Conference on Artificial Intelligence, vol. 34, no. 02, Association for the Advancement of Artificial Intelligence, 2020, pp. 1798–805, doi:10.1609/aaai.v34i02.5546.
[Preprint] View | DOI | arXiv
 
[16]
2020 | Published | Journal Article | IST-REx-ID: 6761 | OA
Avni, Guy, et al. “Dynamic Resource Allocation Games.” Theoretical Computer Science, vol. 807, Elsevier, 2020, pp. 42–55, doi:10.1016/j.tcs.2019.06.031.
[Submitted Version] View | Files available | DOI | WoS
 
[15]
2019 | Published | Conference Paper | IST-REx-ID: 6886 | OA
Aghajohari, Milad, Determinacy in discrete-bidding infinite-duration games. 140. 2019
[Published Version] View | Files available | DOI | arXiv
 
[14]
2019 | Published | Conference Paper | IST-REx-ID: 6822 | OA
Avni, Guy, et al. “Bidding Games on Markov Decision Processes.” Proceedings of the 13th International Conference of Reachability Problems, vol. 11674, Springer, 2019, pp. 1–12, doi:10.1007/978-3-030-30806-3_1.
[Submitted Version] View | Files available | DOI
 
[13]
2019 | Published | Conference Paper | IST-REx-ID: 6884 | OA
Avni, Guy, Bidding mechanisms in graph games. 138. 2019
[Published Version] View | Files available | DOI | arXiv
 
[12]
2019 | Published | Conference Paper | IST-REx-ID: 6462 | OA
Avni, Guy, et al. “Run-Time Optimization for Learned Controllers through Quantitative Games.” 31st International Conference on Computer-Aided Verification, vol. 11561, Springer, 2019, pp. 630–49, doi:10.1007/978-3-030-25540-4_36.
[Published Version] View | Files available | DOI | WoS
 
[11]
2019 | Published | Journal Article | IST-REx-ID: 6752 | OA
Avni, Guy, Infinite-duration bidding games. Journal of the ACM 66 (4). 2019
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 
[10]
2018 | Published | Journal Article | IST-REx-ID: 608 | OA
Avni, Guy, and Orna Kupferman. “Synthesis from Component Libraries with Costs.” Theoretical Computer Science, vol. 712, Elsevier, 2018, pp. 50–72, doi:10.1016/j.tcs.2017.11.001.
[Published Version] View | DOI | Download Published Version (ext.) | WoS
 
[9]
2018 | Conference Paper | IST-REx-ID: 5788 | OA
Avni, Guy, et al. Infinite-Duration Poorman-Bidding Games. Vol. 11316, Springer, 2018, pp. 21–36, doi:10.1007/978-3-030-04612-5_2.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
[8]
2018 | Published | Journal Article | IST-REx-ID: 6006 | OA
Avni, Guy, et al. “An Abstraction-Refinement Methodology for Reasoning about Network Games.” Games, vol. 9, no. 3, 39, MDPI, 2018, doi:10.3390/g9030039.
[Published Version] View | Files available | DOI
 
[7]
2018 | Published | Conference Paper | IST-REx-ID: 6005 | OA
Avni, Guy, et al. Timed Network Games with Clocks. Vol. 117, 23, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018, doi:10.4230/LIPICS.MFCS.2018.23.
[Published Version] View | Files available | DOI
 
[6]
2017 | Published | Conference Paper | IST-REx-ID: 1116 | OA
Avni, Guy, et al. Computing Scores of Forwarding Schemes in Switched Networks with Probabilistic Faults. Vol. 10206, Springer, 2017, pp. 169–87, doi:10.1007/978-3-662-54580-5_10.
[Submitted Version] View | Files available | DOI | WoS
 
[5]
2017 | Published | Conference Paper | IST-REx-ID: 950 | OA
Avni, Guy, et al. Infinite-Duration Bidding Games. Vol. 85, 17, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017, doi:10.4230/LIPIcs.CONCUR.2017.21.
[Published Version] View | Files available | DOI | arXiv
 
[4]
2017 | Published | Conference Paper | IST-REx-ID: 1003 | OA
Avni, Guy, An abstraction-refinement methodology for reasoning about network games. 2017
[Submitted Version] View | Files available | DOI | WoS
 
[3]
2017 | Published | Conference Paper | IST-REx-ID: 963 | OA
Avni, Guy, Timed network games with clocks. 83. 2017
[Published Version] View | Files available | DOI
 
[2]
2016 | Published | Conference Paper | IST-REx-ID: 1135 | OA
Avni, Guy, et al. “Synthesizing Time Triggered Schedules for Switched Networks with Faulty Links.” Proceedings of the 13th International Conference on Embedded Software , 26, ACM, 2016, doi:10.1145/2968478.2968499.
[Submitted Version] View | Files available | DOI
 
[1]
2016 | Published | Conference Paper | IST-REx-ID: 1341 | OA
Avni, Guy, et al. Dynamic Resource Allocation Games. Vol. 9928, Springer, 2016, pp. 153–66, doi:10.1007/978-3-662-53354-3_13.
[Preprint] View | Files available | DOI
 
Marked Publication(s)

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed