Benjamin Monmege 个人学术档案

引用次数

	总计	2019 年至今
引用	631	394
h 指数	12	11
i10 指数	19	13

120

2010201120122013201420152016201720182019202020212022202320242 10 14 19 29 34 32 42 48 45 67 48 108 81 44

开放获取的出版物数量

查看全部

7 篇文章

0 篇文章

可查看的文章

无法查看的文章

根据资助方的强制性开放获取政策

合著作者

Thomas BrihayeUMONS在 umons.ac.be 的电子邮件经过验证
Gilles GeeraertsAssociate Prof. of Computer Science, Université libre de Bruxelles (ULB)在 ulb.be 的电子邮件经过验证
Paul GastinProfessor, LMF, ENS Paris-Saclay在 lmf.cnrs.fr 的电子邮件经过验证
Benedikt BolligCNRS, LMF, ENS Paris-Saclay, Université Paris-Saclay在 lsv.ens-cachan.fr 的电子邮件经过验证
Pierre-Alain ReynierLIS, Aix-Marseille Université在 lif.univ-mrs.fr 的电子邮件经过验证
Axel HaddadPostdoctoral Researcher, Effective Mathematics Team, Mons University, Belgium在 umons.ac.be 的电子邮件经过验证
Hsi-Ming HoUniversity of Sussex在 sussex.ac.uk 的电子邮件经过验证
Serge HaddadProfessor of Computer Science, ENS Paris-Saclay在 lsv.fr 的电子邮件经过验证
Peter HabermehlAssistant Professor of Computer Science, IRIF, University Paris Cité在 irif.fr 的电子邮件经过验证
Martin LeuckerProfessor of Computer Science, University of Lübeck在 isp.uni-luebeck.de 的电子邮件经过验证
Pierre GantyAssociate Research Professor, IMDEA Software Institute在 imdea.org 的电子邮件经过验证
Rupak MajumdarMPI for Software Systems在 mpi-sws.org 的电子邮件经过验证
Ocan SankurCNRS, Université de Rennes在 irisa.fr 的电子邮件经过验证
Engel LefaucheuxMPI-SWS在 mpi-sws.org 的电子邮件经过验证
Nathanaël FijalkowCNRS, LaBRI, Bordeaux, and University of Warsaw在 labri.fr 的电子邮件经过验证
Ashutosh TrivediAssociate Professor, University of Colorado at Boulder在 colorado.edu 的电子邮件经过验证
Lakshmi ManasaPhD Student, IIT Bombay在 cse.iitb.ac.in 的电子邮件经过验证
Rasmus Ibsen-JensenLecturer, University of Liverpool在 liverpool.ac.uk 的电子邮件经过验证
Nicolas MarkeyCNRS, IRISA, Univ. Rennes, France在 irisa.fr 的电子邮件经过验证
Mickael RandourFNRS & UMONS在 umons.ac.be 的电子邮件经过验证

关注

Benjamin Monmege

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

在 univ-amu.fr 的电子邮件经过验证 - 首页

Formal languages Automata Quantitative specifications Verification Game Theory


标题按引用次数排序按年份排序按标题排序	引用次数引用次数	年份
Interval iteration algorithm for MDPs and IMDPs S Haddad, B Monmege Theoretical Computer Science 735, 111-131, 2018	85	2018
Reachability in MDPs: Refining convergence of value iteration S Haddad, B Monmege Reachability Problems: 8th International Workshop, RP 2014, Oxford, UK …, 2014	60	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	36	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
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	34	2017
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	26	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	26	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	24	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	14	2015
Optimal reachability in divergent weighted timed games D Busatto-Gaston, B Monmege, PA Reynier Foundations of Software Science and Computation Structures: 20th …, 2017	12	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
Games on graphs N Fijalkow, N Bertrand, P Bouyer-Decitre, R Brenguier, A Carayol, ... arXiv preprint arXiv:2305.10546, 2023	11	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	11	2019
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
Symbolic approximation of weighted timed games D Busatto-Gaston, B Monmege, PA Reynier arXiv preprint arXiv:1812.01062, 2018	9	2018

系统目前无法执行此操作，请稍后再试。

文章 1–20

每年引用数

重复的引用

合并的引用

添加合著者合著作者

上传 PDF

关注此作者

引用次数

合著作者

引用