Benjamin Monmege
Scholar

Benjamin Monmege

Google Scholar ID: Zk-VtbQAAAAJ
Assistant Professor, Aix-Marseille Université, Laboratoire d'Informatique et Systèmes
Formal languagesAutomataQuantitative specificationsVerificationGame Theory
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
506
 
H-index
12
 
i10-index
15
 
Publications
20
 
Co-authors
30
list available
Contact
CVOpen ↗GitHubOpen ↗
Publications
5 items
Reasoning about Quality in Hyperproperties
2025
Cited
0
Synthesising Asynchronous Automata from Fair Specifications
2025
Cited
0
Games on Graphs
arXiv.org · 2023
Cited
0
Decidability of One-Clock Weighted Timed Games with Arbitrary Weights
International Conference on Concurrency Theory · 2022
Cited
3
Playing Stochastically in Weighted Timed Games to Emulate Memory
International Colloquium on Automata, Languages and Programming · 2021
Cited
4
Resume (English only)
Co-authors
30 total
Thomas Brihaye
Thomas Brihaye
UMONS
Co-author 2
Co-author 2
Paul Gastin
Paul Gastin
Professor, LMF, ENS Paris-Saclay
Benedikt Bollig
Benedikt Bollig
CNRS, LMF, ENS Paris-Saclay, Université Paris-Saclay
Pierre-Alain Reynier
Pierre-Alain Reynier
LIS, Aix-Marseille Université
Co-author 6
Co-author 6
Co-author 7
Co-author 7
Co-author 8
Co-author 8