Avni, Guy
- Infinite-Duration Bidding Games
2017/05/03 by Avni, Guy, Henzinger, Thomas A., Chonev, Ventsislav · 2 citations
#Computer Science and Game Theory (cs.GT) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
- Infinite-Duration Poorman-Bidding Games
2018/04/12 by Guy Avni, Avni, Guy, Thomas A. Henzinger +3 · 2 citations
Computer Science · #Computer Science and Game Theory (cs.GT) #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #semigroups and automata theory
- Bidding Mechanisms in Graph Games
2019/05/09 by Avni, Guy, Henzinger, Thomas A., Žikelić, Đorđe · 2 citations
#Computer Science and Game Theory (cs.GT) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
- Infinite-Duration All-Pay Bidding Games
2020/05/12 by Avni, Guy, Jecker, Ismaël, Žikelić, Đorđe · 2 citations
#Computer Science and Game Theory (cs.GT) #FOS: Computer and information sciences #FOS: Economics and business #Logic in Computer Science (cs.LO) #Theoretical Economics (econ.TH)
- Computing Threshold Budgets in Discrete-Bidding Games
2022/10/06 by Avni, Guy, Sadhukhan, Suman · 2 citations
#Computer Science and Game Theory (cs.GT) #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL)
- Composing Reinforcement Learning Policies, with Formal Guarantees
2024/02/21 by Florent Delgrange, Guy Avni, Delgrange, Florent +9 · 2 citations
Computer Science · Engineering · #Advanced Research in Systems and Signal Processing #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Reinforcement Learning in Robotics
- Auction-Based Scheduling
2023/10/18 by Avni, Guy, Mallik, Kaushik, Sadhukhan, Suman · 2 citations
#Artificial Intelligence (cs.AI) #Computer Science and Game Theory (cs.GT) #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL)
- Games on Graphs: From Logic and Automata to Algorithms
2023/05/17 by Fijalkow, Nathanaël, Aiswarya, C., Avni, Guy +22 · 2 citations
#Computer Science and Game Theory (cs.GT) #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Logic in Computer Science (cs.LO)
- Bidding Graph Games with Partially-Observable Budgets
2022/11/24 by Avni, Guy, Jecker, Ismael, Zikelic, Djordje · 1 citation
#Computer Science and Game Theory (cs.GT) #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL)
- Mean-payoff and Energy Discrete Bidding Games
2025/08/30 by Avni, Guy, Sadhukhan, Suman · 1 citation
#Computer Science and Game Theory (cs.GT) #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Multiagent Systems (cs.MA)