Benjamin Monmege

About Benjamin Monmege

Benjamin Monmege, With an exceptional h-index of 12 and a recent h-index of 10 (since 2020), a distinguished researcher at Aix-Marseille Université, specializes in the field of Formal languages, Automata, Quantitative specifications, Verification, Game Theory.

His recent articles reflect a diverse array of research interests and contributions to the field:

Synthesis of Robust Optimal Strategies in Weighted Timed Games

An Automata Theoretic Characterization of Weighted First-Order Logic

Games on graphs

Games with Payoffs

Optimal controller synthesis for timed systems

Les jeux à la rescousse de la vérification

One-clock priced timed games with negative weights

Decidability of one-clock weighted timed games with arbitrary weights

Benjamin Monmege Information

University

Position

Assistant Professor Laboratoire d'Informatique et Systèmes

Citations(all)

588

Citations(since 2020)

352

Cited By

377

hIndex(all)

12

hIndex(since 2020)

10

i10Index(all)

17

i10Index(since 2020)

10

Email

University Profile Page

Google Scholar

Benjamin Monmege Skills & Research Interests

Formal languages

Automata

Quantitative specifications

Verification

Game Theory

Top articles of Benjamin Monmege

Synthesis of Robust Optimal Strategies in Weighted Timed Games

arXiv preprint arXiv:2403.06921

2024/3/11

Benjamin Monmege
Benjamin Monmege

H-Index: 10

Pierre-Alain Reynier
Pierre-Alain Reynier

H-Index: 10

An Automata Theoretic Characterization of Weighted First-Order Logic

2023/10/22

Benjamin Monmege
Benjamin Monmege

H-Index: 10

Games with Payoffs

Games on Graphs

2023/5

Benjamin Monmege
Benjamin Monmege

H-Index: 10

Optimal controller synthesis for timed systems

Logical Methods in Computer Science

2023/3/15

Benjamin Monmege
Benjamin Monmege

H-Index: 10

Pierre-Alain Reynier
Pierre-Alain Reynier

H-Index: 10

Les jeux à la rescousse de la vérification

Interstices

2023

Benjamin Monmege
Benjamin Monmege

H-Index: 10

One-clock priced timed games with negative weights

Logical Methods in Computer Science

2022/8/9

Gilles Geeraerts
Gilles Geeraerts

H-Index: 10

Benjamin Monmege
Benjamin Monmege

H-Index: 10

Decidability of one-clock weighted timed games with arbitrary weights

arXiv preprint arXiv:2207.01608

2022/7/4

Benjamin Monmege
Benjamin Monmege

H-Index: 10

Pierre-Alain Reynier
Pierre-Alain Reynier

H-Index: 10

Game Theory for Real-Time Synthesis: Decision, Approximation, and Randomness

2022/4/22

Benjamin Monmege
Benjamin Monmege

H-Index: 10

39th International Symposium on Theoretical Aspects of Computer Science

2022/3

Benjamin Monmege
Benjamin Monmege

H-Index: 10

LIPIcs, Volume 219, STACS 2022, Complete Volume

2022

Benjamin Monmege
Benjamin Monmege

H-Index: 10

Weighted Automata and Expressions over Pre-Rational Monoids

arXiv preprint arXiv:2110.12395

2021/10/24

Benjamin Monmege
Benjamin Monmege

H-Index: 10

Pierre-Alain Reynier
Pierre-Alain Reynier

H-Index: 10

Playing stochastically in weighted timed games to emulate memory

arXiv preprint arXiv:2105.00984

2021/5/3

Benjamin Monmege
Benjamin Monmege

H-Index: 10

Pierre-Alain Reynier
Pierre-Alain Reynier

H-Index: 10

Proceedings of the 38th International Symposium on Theoretical Aspects of Computer Science (STACS 2021)

arXiv preprint arXiv:0902.0377

2009/2/2

38th International Symposium on Theoretical Aspects of Computer Science

2021/3

Markus Bläser
Markus Bläser

H-Index: 11

Benjamin Monmege
Benjamin Monmege

H-Index: 10

LIPIcs, Volume 187, STACS 2021, Complete Volume

2021

Markus Bläser
Markus Bläser

H-Index: 11

Benjamin Monmege
Benjamin Monmege

H-Index: 10

Reaching Your Goal Optimally by Playing at Random

arXiv preprint arXiv:2005.04985

2020/5/11

Benjamin Monmege
Benjamin Monmege

H-Index: 10

Pierre-Alain Reynier
Pierre-Alain Reynier

H-Index: 10

Stochastic Strategies in Quantitative and Timed Games

2020/10/30

Benjamin Monmege
Benjamin Monmege

H-Index: 10

See List of Professors in Benjamin Monmege University(Aix-Marseille Université)

Co-Authors

academic-engine