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
6 items
A Zielonka-type Construction for Connectedly Communicating Processes
2026
Cited
0
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
Co-authors
12 total
Thomas Brihaye
Thomas Brihaye
UMONS
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é
Nathanaël Fijalkow
Nathanaël Fijalkow
CNRS, LaBRI, Bordeaux
Peter Habermehl
Peter Habermehl
Professor of Computer Science, IRIF, University Paris Cité
Martin Leucker
Martin Leucker
Professor of Computer Science, University of Lübeck
Pierre Ganty
Pierre Ganty
Associate Research Professor, IMDEA Software Institute