20112024

Research activity per year

Search results

  • 2024

    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 proceedingConference contributionpeer-review

    Open Access
  • 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 proceedingConference contributionpeer-review

    Open Access
  • 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 proceedingConference contributionpeer-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 proceedingConference contributionpeer-review

  • 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 proceedingConference contributionpeer-review

    Open Access
  • Timed network games

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

    Research output: Contribution to journalArticlepeer-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 proceedingConference contributionpeer-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 proceedingConference contributionpeer-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 journalArticlepeer-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 journalArticlepeer-review

  • 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 proceedingConference contributionpeer-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 proceedingConference contributionpeer-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 proceedingConference contributionpeer-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 journalArticlepeer-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 proceedingConference contributionpeer-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 proceedingConference contributionpeer-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 proceedingConference contributionpeer-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 proceedingConference contributionpeer-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 journalArticlepeer-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 proceedingConference contributionpeer-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 journalArticlepeer-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 proceedingConference contributionpeer-review

    Open Access
  • 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 journalArticlepeer-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 proceedingConference contributionpeer-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 proceedingConference contributionpeer-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 proceedingConference contributionpeer-review

    Open Access
  • 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 proceedingConference contributionpeer-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 proceedingConference contributionpeer-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 journalArticlepeer-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 proceedingConference contributionpeer-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 journalArticlepeer-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 proceedingConference contributionpeer-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 proceedingConference contributionpeer-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 proceedingConference contributionpeer-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 proceedingConference contributionpeer-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 proceedingConference contributionpeer-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 journalArticlepeer-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 proceedingConference contributionpeer-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 proceedingConference contributionpeer-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 journalArticlepeer-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 proceedingConference contributionpeer-review

    Open Access
  • 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 proceedingConference contributionpeer-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 proceedingConference contributionpeer-review

    Open Access
  • 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 journalArticlepeer-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 proceedingConference contributionpeer-review

    Open Access
  • 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 proceedingConference contributionpeer-review

    Open Access