Benjamin Monmege

Cited by

	All	Since 2020
Citations	710	428
h-index	14	11
i10-index	21	14

120

20102011201220132014201520162017201820192020202120222023202420252 10 14 19 29 34 32 42 48 45 67 48 101 81 110 19

Public access

View all

10 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Thomas BrihayeUMONSVerified email at umons.ac.be
Gilles GeeraertsAssociate Prof. of Computer Science, Université libre de Bruxelles (ULB)Verified email at ulb.be
Paul GastinProfessor, LMF, ENS Paris-SaclayVerified email at lmf.cnrs.fr
Benedikt BolligCNRS, LMF, ENS Paris-Saclay, Université Paris-SaclayVerified email at lsv.ens-cachan.fr
Pierre-Alain ReynierLIS, Aix-Marseille UniversitéVerified email at lif.univ-mrs.fr
Axel HaddadPostdoctoral Researcher, Effective Mathematics Team, Mons University, BelgiumVerified email at umons.ac.be
Hsi-Ming HoUniversity of SussexVerified email at sussex.ac.uk
Serge HaddadProfessor of Computer Science, ENS Paris-SaclayVerified email at lsv.fr
Peter HabermehlProfessor of Computer Science, IRIF, University Paris CitéVerified email at irif.fr
Martin LeuckerProfessor of Computer Science, University of LübeckVerified email at isp.uni-luebeck.de
Pierre GantyAssociate Research Professor, IMDEA Software InstituteVerified email at imdea.org
Rupak MajumdarMPI for Software SystemsVerified email at mpi-sws.org
Ocan SankurCNRS, Université de RennesVerified email at cnrs.fr
Rasmus Ibsen-JensenLecturer, University of LiverpoolVerified email at liverpool.ac.uk
Romain BrenguierUniversity of OxfordVerified email at cs.ox.ac.uk
Florian HornChargé de Recherches, IRIF, CNRS & Université Paris CitéVerified email at irif.fr
Mateusz SkomraLAAS-CNRS, Toulouse, FranceVerified email at laas.fr
Nathanaël FijalkowCNRS, LaBRI, BordeauxVerified email at labri.fr
Engel LefaucheuxMPI-SWSVerified email at mpi-sws.org
Ashutosh TrivediAssociate Professor, University of Colorado at BoulderVerified email at colorado.edu

Benjamin Monmege

Assistant Professor, Aix-Marseille Université, Laboratoire d'Informatique et Systèmes

Verified email at univ-amu.fr - Homepage

Formal languages Automata Quantitative specifications Verification Game Theory


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Interval iteration algorithm for MDPs and IMDPs S Haddad, B Monmege Theoretical Computer Science 735, 111-131, 2018	99	2018
Reachability in MDPs: Refining convergence of value iteration S Haddad, B Monmege Reachability Problems: 8th International Workshop, RP 2014, Oxford, UK …, 2014	66	2014
Bounded Underapproximations P Ganty, R Majumdar, B Monmege Formal Methods in System Design 40 (2), 206-231, 2012	47	2012
MightyL: A Compositional Translation from MITL to Timed Automata T Brihaye, G Geeraerts, HM Ho, B Monmege International Conference on Computer Aided Verification, 421-440, 2017	40	2017
A fresh approach to learning register automata B Bollig, P Habermehl, M Leucker, B Monmege International Conference on Developments in Language Theory, 118-130, 2013	40	2013
Pebble weighted automata and transitive closure logics B Bollig, P Gastin, B Monmege, M Zeitoun International Colloquium on Automata, Languages, and Programming, 587-598, 2010	36	2010
Pseudopolynomial iterative algorithm to solve total-payoff games and min-cost reachability games T Brihaye, G Geeraerts, A Haddad, B Monmege Acta Informatica 54, 85-125, 2017	29	2017
A robust class of data languages and an application to learning B Bollig, P Habermehl, M Leucker, B Monmege Logical Methods in Computer Science 10, 2014	27	2014
Games on graphs N Fijalkow, N Bertrand, P Bouyer-Decitre, R Brenguier, A Carayol, ... arXiv preprint arXiv:2305.10546, 2023	26	2023
Adding negative prices to priced timed games T Brihaye, G Geeraerts, S Narayanan Krishna, L Manasa, B Monmege, ... International Conference on Concurrency Theory, 560-575, 2014	26	2014
A unifying survey on weighted logics and weighted automata: Core weighted logic: minimal and versatile specification of quantitative properties P Gastin, B Monmege Soft Computing 22, 1047-1065, 2018	23	2018
To reach or not to reach? Efficient algorithms for total-payoff games T Brihaye, G Geeraerts, A Haddad, B Monmege arXiv preprint arXiv:1407.5030, 2014	23	2014
Simple priced timed games are not that simple T Brihaye, G Geeraerts, A Haddad, E Lefaucheux, B Monmege arXiv preprint arXiv:1507.03786, 2015	16	2015
Robust controller synthesis in timed büchi automata: A symbolic approach D Busatto-Gaston, B Monmege, PA Reynier, O Sankur Computer Aided Verification: 31st International Conference, CAV 2019, New …, 2019	14	2019
Optimal reachability in divergent weighted timed games D Busatto-Gaston, B Monmege, PA Reynier Foundations of Software Science and Computation Structures: 20th …, 2017	14	2017
Pebble weighted automata and weighted logics B Bollig, P Gastin, B Monmege, M Zeitoun ACM Transactions on Computational Logic (TOCL) 15 (2), 1-35, 2014	12	2014
Symbolic approximation of weighted timed games D Busatto-Gaston, B Monmege, PA Reynier arXiv preprint arXiv:1812.01062, 2018	10	2018
Real-time synthesis is hard! T Brihaye, M Estiévenart, G Geeraerts, HM Ho, B Monmege, N Sznajder International Conference on Formal Modeling and Analysis of Timed Systems …, 2016	10	2016
Specification and verification of quantitative properties: expressions, logics, and automata B Monmege École normale supérieure de Cachan-ENS Cachan, 2013	10	2013
Adding Pebbles to Weighted Automata P Gastin, B Monmege Implementation and Application of Automata, 28-51, 2012	10	2012

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors