Guy Avni

View Scopus Profile

Guy Avni

 https://orcid.org/0000-0001-5588-8287
    20112025

    Research activity per year

    Search results

    • 2025

      A GAME OF PAWNS

      Avni, G., Ghorpade, P. & Guha, S., 2025, In: Logical Methods in Computer Science. 21, 2

      Research output: Contribution to journal › Article › peer-review

    • 2024

      ASQ-IT: Interactive explanations for reinforcement-learning agents

      Amitai, Y., Amir, O. & Avni, G., Oct 2024, In: Artificial Intelligence. 335, 104182.

      Research output: Contribution to journal › Article › peer-review

      Open Access

    • Auction-Based Scheduling

      Avni, G., Mallik, K. & Sadhukhan, S., 2024, Tools and Algorithms for the Construction and Analysis of Systems - 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Proceedings. Finkbeiner, B. & Kovács, L. (eds.). Springer Science and Business Media Deutschland GmbH, p. 153-172 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14572 LNCS).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • Bidding Games with Charging

      Avni, G., Goharshady, E. K., Henzinger, T. A. & Mallik, K., Sep 2024, 35th International Conference on Concurrency Theory, CONCUR 2024. Majumdar, R. & Silva, A. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 8. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 311).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • Dimension-Minimality and Primality of Counter Nets

      Almagor, S., Avni, G., Sinclair-Banks, H. & Yeshurun, A., 2024, Foundations of Software Science and Computation Structures - 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Proceedings. Kobayashi, N. & Worrell, J. (eds.). Springer Science and Business Media Deutschland GmbH, p. 229-249 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14575 LNCS).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • Preface

      Avni, G., Giacobbe, M., Johnson, T. T., Katz, G., Lukina, A., Narodytska, N. & Schilling, C., 2024, In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 14846 LNCS, p. v

      Research output: Contribution to journal › Editorial

    • 2023

      A Game of Pawns

      Avni, G., Ghorpade, P. & Guha, S., Sep 2023, 34th International Conference on Concurrency Theory, CONCUR 2023. Perez, G. A. & Raskin, J.-F. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 16. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 279).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • Bidding Graph Games with Partially-Observable Budgets

      Avni, G., Jecker, I. & Žikelić, D., 27 Jun 2023, AAAI-23 Technical Tracks 5. Williams, B., Chen, Y. & Neville, J. (eds.). AAAI Press, p. 5464-5471 8 p. (Proceedings of the 37th AAAI Conference on Artificial Intelligence, AAAI 2023; vol. 37).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      Open Access

    • Reachability Poorman Discrete-Bidding Games

      Avni, G., Meggendorfer, T., Sadhukhan, S., Tkadlec, J. & Žikelić, D., 28 Sep 2023, ECAI 2023 - 26th European Conference on Artificial Intelligence, including 12th Conference on Prestigious Applications of Intelligent Systems, PAIS 2023 - Proceedings. Gal, K., Gal, K., Nowe, A., Nalepa, G. J., Fairstein, R. & Radulescu, R. (eds.). IOS Press BV, p. 141-148 8 p. (Frontiers in Artificial Intelligence and Applications; vol. 372).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      Open Access

    • Timed network games

      Avni, G., Guha, S. & Kupferman, O., Jan 2023, In: Information and Computation. 290, 104996.

      Research output: Contribution to journal › Article › peer-review

    • 2022

      An Updated Survey of Bidding Games on Graphs

      Avni, G. & Henzinger, T. A., 1 Aug 2022, 47th International Symposium on Mathematical Foundations of Computer Science, MFCS 2022. Szeider, S., Ganian, R. & Silva, A. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 4. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 241).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • Computing Threshold Budgets in Discrete-Bidding Games

      Avni, G. & Sadhukhan, S., 1 Dec 2022, 42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2022. Dawar, A. & Guruswami, V. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 30. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 250).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • 2021

      Bidding mechanisms in graph games

      Avni, G., Henzinger, T. A. & Žikelić, Đ., Aug 2021, In: Journal of Computer and System Sciences. 119, p. 133-144 12 p.

      Research output: Contribution to journal › Article › peer-review

      Open Access

    • Determinacy in discrete-bidding infinite-duration games

      Aghajohari, M., Avni, G. & Henzinger, T. A., 2021, In: Logical Methods in Computer Science. 17, 1, p. 10:1-10:23

      Research output: Contribution to journal › Article › peer-review

      Open Access

    • Infinite-duration all-pay bidding games

      Avni, G., Jecker, I. & Žikelić, Ð., 2021, ACM-SIAM Symposium on Discrete Algorithms, SODA 2021. Marx, D. (ed.). Association for Computing Machinery, p. 617-636 20 p. (Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • 2020

      All-pay bidding games on graphs

      Avni, G., Ibsen-Jensen, R. & Tkadlec, J., 2020, AAAI 2020 - 34th AAAI Conference on Artificial Intelligence. AAAI Press, p. 1798-1805 8 p. (AAAI 2020 - 34th AAAI Conference on Artificial Intelligence).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • A survey of bidding games on graphs

      Avni, G. & Henzinger, T. A., 1 Aug 2020, 31st International Conference on Concurrency Theory, CONCUR 2020. Konnov, I. & Kovacs, L. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 21-221 201 p. 2. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 171).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • Dynamic resource allocation games

      Avni, G., Henzinger, T. A. & Kupferman, O., 6 Feb 2020, In: Theoretical Computer Science. 807, p. 42-55 14 p.

      Research output: Contribution to journal › Article › peer-review

      Open Access

    • Formal Methods with a Touch of Magic

      Alamdari, P. A., Avni, G., Henzinger, T. A. & Lukina, A., 21 Sep 2020, Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design, FMCAD 2020. Ivrii, A., Strichman, O., Hunt, W. A. & Weissenbacher, G. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 138-147 10 p. 9283628. (Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design, FMCAD 2020).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • 2019

      Bidding Games on Markov Decision Processes

      Avni, G., Henzinger, T. A., Ibsen-Jensen, R. & Novotný, P., 2019, Reachability Problems - 13th International Conference, RP 2019, Proceedings. Filiot, E., Jungers, R. & Potapov, I. (eds.). Springer Verlag, p. 1-12 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11674 LNCS).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • Bidding mechanisms in graph games

      Avni, G., Henzinger, T. A. & Žikelić, Ð., Aug 2019, 44th International Symposium on Mathematical Foundations of Computer Science, MFCS 2019. Katoen, J.-P., Heggernes, P. & Rossmanith, P. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 11. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 138).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • Determinacy in discrete-bidding infinite-duration games

      Aghajohari, M., Avni, G. & Henzinger, T. A., Aug 2019, 30th International Conference on Concurrency Theory, CONCUR 2019. Fokkink, W. & van Glabbeek, R. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 20. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 140).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • Infinite-duration bidding games

      Avni, G., Henzinger, T. A. & Chonev, V., 16 Jul 2019, In: Journal of the ACM. 66, 4, 31.

      Research output: Contribution to journal › Article › peer-review

      Open Access

    • Run-Time Optimization for Learned Controllers Through Quantitative Games

      Avni, G., Bloem, R., Chatterjee, K., Henzinger, T. A., Könighofer, B. & Pranger, S., 2019, Computer Aided Verification - 31st International Conference, CAV 2019, Proceedings. Dillig, I. & Tasiran, S. (eds.). Springer Verlag, p. 630-649 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11561 LNCS).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      Open Access
    • 2018

      An abstraction-refinement methodology for reasoning about network games

      Avni, G., Guha, S. & Kupferman, O., Sep 2018, In: Games. 9, 3, 39.

      Research output: Contribution to journal › Article › peer-review

      Open Access

    • Infinite-duration poorman-bidding games

      Avni, G., Henzinger, T. A. & Ibsen-Jensen, R., 2018, Web and Internet Economics - 14th International Conference, WINE 2018, Proceedings. Harks, T. & Christodoulou, G. (eds.). Springer Verlag, p. 21-36 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11316 LNCS).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • Synthesis from component libraries with costs

      Avni, G. & Kupferman, O., 15 Feb 2018, In: Theoretical Computer Science. 712, p. 50-72 23 p.

      Research output: Contribution to journal › Article › peer-review

      Open Access

    • Timed network games with clocks

      Avni, G., Guha, S. & Kupferman, O., 1 Aug 2018, 43rd International Symposium on Mathematical Foundations of Computer Science, MFCS 2018. Potapov, I., Worrell, J. & Spirakis, P. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 23. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 117).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • 2017

      An abstraction-refinement methodology for reasoning about network games

      Avni, G., Guha, S. & Kupferman, O., 2017, 26th International Joint Conference on Artificial Intelligence, IJCAI 2017. Sierra, C. (ed.). International Joint Conferences on Artificial Intelligence, p. 70-76 7 p. (IJCAI International Joint Conference on Artificial Intelligence; vol. 0).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      Open Access

    • Computing scores of forwarding schemes in switched networks with probabilistic faults

      Avni, G., Goel, S., Henzinger, T. A. & Rodriguez-Navas, G., 2017, Tools and Algorithms for the Construction and Analysis of Systems - 23rd International Conference, TACAS 2017 held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Proceedings. Margaria, T. & Legay, A. (eds.). Springer Verlag, p. 169-187 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10206 LNCS).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • Infinite-duration bidding games

      Avni, G., Henzinger, T. A. & Chonev, V., 1 Aug 2017, 28th International Conference on Concurrency Theory, CONCUR 2017. Meyer, R. & Nestmann, U. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 21. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 85).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • Timed network games

      Avni, G., Guha, S. & Kupferman, O., 1 Nov 2017, 42nd International Symposium on Mathematical Foundations of Computer Science, MFCS 2017. Larsen, K. G., Raskin, J.-F. & Bodlaender, H. L. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, (Leibniz International Proceedings in Informatics, LIPIcs; vol. 83).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • 2016

      Cost-sharing scheduling games on restricted unrelated machines

      Avni, G. & Tamir, T., 2016, In: Theoretical Computer Science. 646, p. 26-39 14 p.

      Research output: Contribution to journal › Article › peer-review

      Open Access

    • Dynamic resource allocation games

      Avni, G., Henzinger, T. A. & Kupferman, O., 2016, Algorithmic Game Theory - 9th International Symposium, SAGT 2016, Proceedings. Gairing, M. & Savani, R. (eds.). Springer Verlag, p. 153-166 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9928 LNCS).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • Network-formation games with regular objectives

      Avni, G., Kupferman, O. & Tamir, T., 1 Dec 2016, In: Information and Computation. 251, p. 165-178 14 p.

      Research output: Contribution to journal › Article › peer-review

      Open Access

    • Synthesizing time-triggered schedules for switched networks with faulty links

      Avni, G., Guha, S. & Rodriguez-Navas, G., 1 Oct 2016, Proceedings of the 13th International Conference on Embedded Software, EMSOFT 2016. Association for Computing Machinery, Inc, a26. (Proceedings of the 13th International Conference on Embedded Software, EMSOFT 2016).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      Open Access
    • 2015

      Congestion games with multisets of resources and applications in synthesis

      Avni, G., Kupferman, O. & Tamir, T., 1 Dec 2015, 35th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2015. Harsha, P. & Ramalingam, G. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 365-379 15 p. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 45).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • Cost-sharing scheduling games on restricted unrelated machines

      Avni, G. & Tamir, T., 2015, Algorithmic Game Theory - 8th International Symposium, SAGT 2015. Hoefer, M. & Hoefer, M. (eds.). Springer Verlag, p. 69-81 13 p. A6. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9347).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • Repairing multi-player games

      Almagor, S., Avni, G. & Kupferman, O., 1 Aug 2015, 26th International Conference on Concurrency Theory, CONCUR 2015. Aceto, L. & de Frutos Escrig, D. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 325-339 15 p. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 42).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • Stochastization of weighted automata

      Avni, G. & Kupferman, O., 2015, Mathematical Foundations of Computer Science 2015 - 40th International Symposium, MFCS 2015, Proceedings. Pighizzini, G., Italiano, G. F. & Sannella, D. T. (eds.). Springer Verlag, p. 89-102 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9234).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • 2014

      An abstraction-refinement framework for trigger querying

      Avni, G. & Kupferman, O., Apr 2014, In: Formal Methods in System Design. 44, 2, p. 149-175 27 p.

      Research output: Contribution to journal › Article › peer-review

    • From reachability to temporal specifications in cost-sharing games

      Avni, G., Kupferman, O. & Tamir, T., 2014, Automated Reasoning - 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Proceedings. Springer Verlag, p. 1-15 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8562 LNAI).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • Network-formation games with regular objectives

      Avni, G., Kupferman, O. & Tamir, T., 2014, Foundations of Software Science and Computation Structures - 17th Int. Conf., FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Proc.. Springer Verlag, p. 119-133 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8412 LNCS).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      Open Access

    • Parameterized weighted containment

      Avni, G. & Kupferman, O., 29 Dec 2014, In: ACM Transactions on Computational Logic. 16, 1, 6.

      Research output: Contribution to journal › Article › peer-review

      Open Access

    • Synthesis from component libraries with costs

      Avni, G. & Kupferman, O., 2014, Concurrency Theory - 25th International Conference, CONCUR 2014, Proceedings. Springer Verlag, p. 156-172 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8704 LNCS).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • 2013

      Automatic generation of quality specifications

      Almagor, S., Avni, G. & Kupferman, O., 2013, Computer Aided Verification - 25th International Conference, CAV 2013, Proceedings. p. 479-494 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8044 LNCS).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      Open Access

    • Parameterized weighted containment

      Avni, G. & Kupferman, O., 2013, Foundations of Software Science and Computation Structures - 16th Int. Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Proc.. p. 369-384 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7794 LNCS).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • When does abstraction help?

      Avni, G. & Kupferman, O., 2013, In: Information Processing Letters. 113, 22-24, p. 901-905 5 p.

      Research output: Contribution to journal › Article › peer-review

      Open Access
    • 2012

      Making weighted containment feasible: A heuristic based on simulation and abstraction

      Avni, G. & Kupferman, O., 2012, Concurrency Theory - 23rd International Conference, CONCUR 2012, Proceedings. p. 84-99 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7454 LNCS).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • 2011

      An abstraction-refinement framework for trigger querying

      Avni, G. & Kupferman, O., 2011, Static Analysis - 18th International Symposium, SAS 2011, Proceedings. p. 263-279 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6887 LNCS).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review