Benjamin Monmege

Cited by

	All	Since 2018
Citations	530	345
h-index	12	10
i10-index	15	11

120

201020112012201320142015201620172018201920202021202220232 10 14 17 28 35 32 41 49 52 72 58 106 8

Public access

View all

8 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, LSV, ENS Paris-SaclayVerified email at lsv.fr
Benedikt BolligCNRS, LMF, ENS Paris-Saclay, Université Paris-SaclayVerified email at lsv.ens-cachan.fr
Axel HaddadPostdoctoral Researcher, Effective Mathematics Team, Mons University, BelgiumVerified email at umons.ac.be
Pierre-Alain ReynierLIS, Aix-Marseille UniversitéVerified email at lif.univ-mrs.fr
Hsi-Ming HoUniversity of SussexVerified email at sussex.ac.uk
Serge HaddadProfessor of Computer Science, ENS Paris-SaclayVerified email at lsv.fr
Peter HabermehlAssistant Professor 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
Ashutosh TrivediUniversity of Colorado at BoulderVerified email at colorado.edu
Shankara Narayanan KrishnaIIT BombayVerified email at cse.iitb.ac.in
Lakshmi ManasaPhD Student, IIT BombayVerified email at cse.iitb.ac.in
Amit Kumar DharAssistant ProfessorVerified email at iitbhilai.ac.in
Ocan SankurUniv Rennes, CNRSVerified email at irisa.fr
Guillermo A. PérezAssistant Professor, University of AntwerpVerified email at uantwerp.be
Bruno QuoitinProfessor of Computer Science, University of MonsVerified email at umons.ac.be

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	63	2018
Reachability in MDPs: Refining convergence of value iteration S Haddad, B Monmege Reachability Problems: 8th International Workshop, RP 2014, Oxford, UK …, 2014	50	2014
Bounded Underapproximations P Ganty, R Majumdar, B Monmege Formal Methods in System Design 40 (2), 206-231, 2012	47	2012
Pebble weighted automata and transitive closure logics B Bollig, P Gastin, B Monmege, M Zeitoun Automata, Languages and Programming: 37th International Colloquium, ICALP …, 2010	37	2010
MightyL: A Compositional Translation from MITL to Timed Automata T Brihaye, G Geeraerts, HM Ho, B Monmege Computer Aided Verification: 29th International Conference, CAV 2017 …, 2017	32	2017
A fresh approach to learning register automata B Bollig, P Habermehl, M Leucker, B Monmege Developments in Language Theory: 17th International Conference, DLT 2013 …, 2013	30	2013
A robust class of data languages and an application to learning B Monmege, M Leucker, P Habermehl, B Bollig Logical Methods in Computer Science 10, 2014	24	2014
Adding negative prices to priced timed games T Brihaye, G Geeraerts, S Narayanan Krishna, L Manasa, B Monmege, ... CONCUR 2014–Concurrency Theory: 25th International Conference, CONCUR 2014 …, 2014	23	2014
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	21	2017
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	19*	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	17	2018
Simple priced timed games are not that simple T Brihaye, G Geeraerts, A Haddad, E Lefaucheux, B Monmege arXiv preprint arXiv:1507.03786, 2015	13	2015
Optimal reachability in divergent weighted timed games D Busatto-Gaston, B Monmege, PA Reynier Foundations of Software Science and Computation Structures: 20th …, 2017	11	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	10	2014
Adding Pebbles to Weighted Automata P Gastin, B Monmege Implementation and Application of Automata, 28-51, 2012	10	2012
Specification and verification of quantitative properties: expressions, logics, and automata B Monmege École normale supérieure de Cachan-ENS Cachan, 2013	9	2013
A Probabilistic Kleene Theorem B Bollig, P Gastin, B Monmege, M Zeitoun	9*
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	8	2019
Real-time synthesis is hard! T Brihaye, M Estiévenart, G Geeraerts, HM Ho, B Monmege, N Sznajder Formal Modeling and Analysis of Timed Systems: 14th International Conference …, 2016	8	2016
Efficient energy distribution in a smart grid using multi-player games T Brihaye, AK Dhar, G Geeraerts, A Haddad, B Monmege arXiv preprint arXiv:1608.00652, 2016	8	2016

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