Benjamin Monmege

Citée par

	Toutes	Depuis 2019
Citations	662	425
indice h	13	12
indice i10	20	14

120

2010201120122013201420152016201720182019202020212022202320242 10 14 19 29 34 32 42 48 45 67 48 107 80 77

Accès public

Tout afficher

8 articles

0 article

disponibles

non disponibles

Sur la base des exigences liées au financement

Coauteurs

Thomas BrihayeUMONSAdresse e-mail validée de umons.ac.be
Gilles GeeraertsAssociate Prof. of Computer Science, Université libre de Bruxelles (ULB)Adresse e-mail validée de ulb.be
Paul GastinProfessor, LMF, ENS Paris-SaclayAdresse e-mail validée de lmf.cnrs.fr
Benedikt BolligCNRS, LMF, ENS Paris-Saclay, Université Paris-SaclayAdresse e-mail validée de lsv.ens-cachan.fr
Pierre-Alain ReynierLIS, Aix-Marseille UniversitéAdresse e-mail validée de lif.univ-mrs.fr
Axel HaddadPostdoctoral Researcher, Effective Mathematics Team, Mons University, BelgiumAdresse e-mail validée de umons.ac.be
Hsi-Ming HoUniversity of SussexAdresse e-mail validée de sussex.ac.uk
Serge HaddadProfessor of Computer Science, ENS Paris-SaclayAdresse e-mail validée de lsv.fr
Peter HabermehlProfessor of Computer Science, IRIF, University Paris CitéAdresse e-mail validée de irif.fr
Martin LeuckerProfessor of Computer Science, University of LübeckAdresse e-mail validée de isp.uni-luebeck.de
Pierre GantyAssociate Research Professor, IMDEA Software InstituteAdresse e-mail validée de imdea.org
Rupak MajumdarMPI for Software SystemsAdresse e-mail validée de mpi-sws.org
Ocan SankurCNRS, Université de RennesAdresse e-mail validée de irisa.fr
Engel LefaucheuxMPI-SWSAdresse e-mail validée de mpi-sws.org
Nathanaël FijalkowCNRS, LaBRI, Bordeaux, and University of WarsawAdresse e-mail validée de labri.fr
Ashutosh TrivediAssociate Professor, University of Colorado at BoulderAdresse e-mail validée de colorado.edu
Lakshmi ManasaPhD Student, IIT BombayAdresse e-mail validée de cse.iitb.ac.in
Rasmus Ibsen-JensenLecturer, University of LiverpoolAdresse e-mail validée de liverpool.ac.uk
Nicolas MarkeyCNRS, IRISA, Univ. Rennes, FranceAdresse e-mail validée de irisa.fr
Mickael RandourFNRS & UMONSAdresse e-mail validée de umons.ac.be

Suivre

Benjamin Monmege

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

Adresse e-mail validée de univ-amu.fr - Page d'accueil

Formal languages Automata Quantitative specifications Verification Game Theory


Titre Trier par citations Trier par année Trier par titre	Citée par Citée par	Année
Interval iteration algorithm for MDPs and IMDPs S Haddad, B Monmege Theoretical Computer Science 735, 111-131, 2018	89	2018
Reachability in MDPs: Refining convergence of value iteration S Haddad, B Monmege Reachability Problems: 8th International Workshop, RP 2014, Oxford, UK …, 2014	61	2014
Bounded Underapproximations P Ganty, R Majumdar, B Monmege Formal Methods in System Design 40 (2), 206-231, 2012	47	2012
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	38	2013
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	37	2017
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	28	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
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
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
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	22	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	16	2015
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
Games on graphs N Fijalkow, N Bertrand, P Bouyer-Decitre, R Brenguier, A Carayol, ... arXiv preprint arXiv:2305.10546, 2023	12	2023
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	12	2019
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

Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.

Articles 1–20

Nombre de citations par an

Citations en double

Citations fusionnées

Ajouter les coauteursCoauteurs

Suivre

Citée par

Coauteurs