Follow
Guy Avni
Guy Avni
Senior Lecturer, University of Haifa
Verified email at cs.haifa.ac.il - Homepage
Title
Cited by
Cited by
Year
Run-time optimization for learned controllers through quantitative games
G Avni, R Bloem, K Chatterjee, TA Henzinger, B Könighofer, S Pranger
Computer Aided Verification: 31st International Conference, CAV 2019, New …, 2019
442019
Synthesizing Time-Triggered Schedules for Switched Networks with Faulty Links
G Avni, S Guha, G Rodriguez-Navas
International Conference on Embedded Software, 2016
372016
Repairing Multi-Player Games
S Almagor, G Avni, O Kupferman
CONCUR 2015–Concurrency Theory 42, 2015
312015
Network-Formation Games with Regular Objectives
G Avni, O Kupferman, T Tamir
Foundations of Software Science and Computation Structures, 119-133, 2014
282014
Dynamic resource allocation games
G Avni, TA Henzinger, O Kupferman
International Symposium on Algorithmic Game Theory, 153-166, 2016
21*2016
Infinite-Duration Bidding Games
G Avni, V Chonev, TA Henzinger
J. ACM 66 (4), 31:1--31:29, 2019
202019
Bidding mechanisms in graph games
G Avni, TA Henzinger, Đ Žikelić
Journal of Computer and System Sciences 119, 133-144, 2021
172021
An Abstraction-Refinement Methodology for Reasoning about Network Games
G Avni, S Guha, O Kupferman
Games 9 (3), 39, 2018
172018
Cost-sharing scheduling games on restricted unrelated machines
G Avni, T Tamir
Theoretical Computer Science 646, 26-39, 2016
172016
Synthesis from component libraries with costs
G Avni, O Kupferman
Theoretical Computer Science 712, 50-72, 2018
15*2018
Infinite-duration poorman-bidding games
G Avni, TA Henzinger, R Ibsen-Jensen
Web and Internet Economics: 14th International Conference, WINE 2018, Oxford …, 2018
152018
Determinacy in discrete-bidding infinite-duration games
M Aghajohari, G Avni, TA Henzinger
Logical Methods in Computer Science 17, 2021
142021
A survey of bidding games on graphs
G Avni, TA Henzinger
31st International Conference on Concurrency Theory 171, 2020
14*2020
Formal methods with a touch of magic
PA Alamdari, G Avni, TA Henzinger, A Lukina
Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design, 2020
122020
Infinite-duration all-pay bidding games
G Avni, I Jecker, Đ Žikelić
Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms (SODA …, 2021
112021
All-pay bidding games on graphs
G Avni, R Ibsen-Jensen, J Tkadlec
Proceedings of the AAAI Conference on Artificial Intelligence 34 (02), 1798-1805, 2020
112020
Timed network games
G Avni, S Guha, O Kupferman
42nd International Symposium on Mathematical Foundations of Computer Science …, 2017
112017
Congestion Games with Multisets of Resources and Applications in Synthesis
G Avni, O Kupferman, T Tamir
FSTTCS 2015 45, 2015
92015
Making weighted containment feasible: A heuristic based on simulation and abstraction
G Avni, O Kupferman
International Conference on Concurrency Theory, 84-99, 2012
92012
ASQ-IT: Interactive explanations for reinforcement-learning agents
Y Amitai, G Avni, O Amir
arXiv preprint arXiv:2301.09941, 2023
8*2023
The system can't perform the operation now. Try again later.
Articles 1–20