Guy Avni
Scholar

Guy Avni

Google Scholar ID: tySIznAAAAAJ
Senior Lecturer, University of Haifa
Formal MethodsGame Theory
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
498
 
H-index
15
 
i10-index
19
 
Publications
20
 
Co-authors
8
list available
Contact
No contact links provided.
Publications
7 items
Decoupled Planning for Multiple Omega-Regular Objectives
2026
Cited
0
Mean-payoff and Energy Discrete Bidding Games
2025
Cited
0
Interactive Explanations for Reinforcement-Learning Agents
2025
Cited
0
Bidding Games on Markov Decision Processes with Quantitative Reachability Objectives
2024
Cited
0
Synthesis of Hierarchical Controllers Based on Deep Reinforcement Learning Policies
arXiv.org · 2024
Cited
0
A Game of Pawns
International Conference on Concurrency Theory · 2023
Cited
3
Computing Threshold Budgets in Discrete-Bidding Games
Foundations of Software Technology and Theoretical Computer Science · 2022
Cited
4
Resume (English only)
Co-authors
8 total
Orna Kupferman
Orna Kupferman
Professor of Computer Science, The Hebrew University
Thomas Henzinger
Thomas Henzinger
IST Austria
Tami Tamir
Tami Tamir
School of Computer Science, Reichman University (IDC Herzliya)
Shaull Almagor
Shaull Almagor
Assistant Professor, Technion
Djordje Zikelic
Djordje Zikelic
Singapore Management University
Rasmus Ibsen-Jensen
Rasmus Ibsen-Jensen
Lecturer, University of Liverpool
Co-author 7
Co-author 7
Ismaël Jecker
Ismaël Jecker
Institute of Science and Technology, Austria