Guy Avni
- 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
- Infinite-duration Bidding Games
2019/07/16 by Guy Avni, Thomas A. Henzinger, Ventsislav Chonev · 2 citations
Decision Sciences · Economics, Econometrics and Finance · Computer Science · #Game Theory and Applications #Game Theory and Voting Systems #Logic, Reasoning, and Knowledge
- Composing Reinforcement Learning Policies, with Formal Guarantees
2024/02/21 by Florent Delgrange, Delgrange, Florent, Guy Avni +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
- Multi-Player Discrete-Bidding Games; Determinacy, Equilibria, and Complexity
2026/07/29 by Guy Avni, Fatima Murra
Computer Science · #cs.GT #cs.FL