University Logo Header

הפקולטה למדעי המחשב והמידע

אוניברסיטת חיפה

EN

University Logo Header
להרשמה
גיא אבני

פרופ' גיא אבני

פרסומים▼

  • Mean-Payoff and Energy Discrete-Bidding Games, Avni, G. & Sadhukhan, S., 2026, 34th EACSL Annual Conference on Computer Science Logic, CSL 2026. Guerrini, S. & Konig, B. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 32. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 363).
  • Bidding Games, Avni, G. & Henzinger, T. A., 1 Jan 2026, Games on Graphs: From Logic and Automata to Algorithms. Cambridge University Press, p. 529-569 41 p.
  • A GAME OF PAWNS, Avni, G., Ghorpade, P. & Guha, S., 2025, In: Logical Methods in Computer Science. 21, 2
  • ℜobin Hood Reachability Bidding Games, Almagor, S., Avni, G. & Dafni, N., 2025, Proceedings of the 24th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2025. Vorobeychik, Y., Das, S. & Nowe, A. (eds.). International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), p. 96-104 9 p. (Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS).
  • Composing Reinforcement Learning Policies, with Formal Guarantees AAAI Track, Delgrange, F., Avni, G., Lukina, A., Schilling, C., Nowé, A. & Pérez, G. A., 2025, Proceedings of the 24th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2025. Vorobeychik, Y., Das, S. & Nowe, A. (eds.). International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), p. 574-583 10 p. (Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS).
  • Bidding Games on Markov Decision Processes with Quantitative Reachability Objectives, Avni, G., Kurečka, M., Mallik, K., Novotný, P. & Sadhukhan, S., 2025, Proceedings of the 24th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2025. Vorobeychik, Y., Das, S. & Nowe, A. (eds.). International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), p. 161-169 9 p. (Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS).
  • Computing Threshold Budgets in Discrete-Bidding Games, Avni, G. & Sadhukhan, S., 2025, In: TheoretiCS. 4, 5.
  • ASQ-IT: Interactive explanations for reinforcement-learning agents, Amitai, Y., Amir, O. & Avni, G., Oct 2024, In: Artificial Intelligence. 335, 104182.
  • 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).
  • 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).
  • 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).
  • 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
  • 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
  • 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
  • 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
  • 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).
  • 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).
  • 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).
  • Timed network games, Avni, G., Guha, S. & Kupferman, O., Jan 2023, In: Information and Computation. 290, 104996.
  • 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).
  • 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).
  • 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
  • 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).
  • 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).
  • 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).
  • 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).
  • Infinite-duration bidding games, Avni, G., Henzinger, T. A. & Chonev, V., 16 Jul 2019, In: Journal of the ACM. 66, 4, 31.
  • 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).
  • 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).
  • 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).
  • Synthesis from component libraries with costs, Avni, G. & Kupferman, O., 15 Feb 2018, In: Theoretical Computer Science. 712, p. 50-72 23 p.
  • 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).
  • 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).
  • 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).
  • 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. Legay, A. & Margaria, T. (eds.). Springer Verlag, p. 169-187 19 p. (Lecture Notes in Computer Science; vol. 10206 LNCS).
  • 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.
  • 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).
  • 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).
  • 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).
  • 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).
  • 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).
  • 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).
  • Parameterized weighted containment, Avni, G. & Kupferman, O., 29 Dec 2014, In: ACM Transactions on Computational Logic. 16, 1, 6.
  • 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.
  • 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).
  • 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).
  • When does abstraction help?, Avni, G. & Kupferman, O., 2013, In: Information Processing Letters. 113, 22-24, p. 901-905 5 p.
  • Automatic generation of quality specifications, Almagor, S., Avni, G. & Kupferman, O., 2013, Computer Aided Verification - 25th International Conference, CAV 2013, Proceedings. Springer Verlag, 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).
  • 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).
  • 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).

תחומי מחקר▼

  • שיטות פורמליות
  • תורת המשחקים