Follow
Benjamin Monmege
Benjamin Monmege
Assistant Professor, Aix-Marseille Université, Laboratoire d'Informatique et Systèmes
Verified email at univ-amu.fr - Homepage
Title
Cited by
Cited by
Year
Interval iteration algorithm for MDPs and IMDPs
S Haddad, B Monmege
Theoretical Computer Science 735, 111-131, 2018
632018
Reachability in MDPs: Refining convergence of value iteration
S Haddad, B Monmege
Reachability Problems: 8th International Workshop, RP 2014, Oxford, UK …, 2014
502014
Bounded Underapproximations
P Ganty, R Majumdar, B Monmege
Formal Methods in System Design 40 (2), 206-231, 2012
472012
Pebble weighted automata and transitive closure logics
B Bollig, P Gastin, B Monmege, M Zeitoun
Automata, Languages and Programming: 37th International Colloquium, ICALP …, 2010
372010
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
322017
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
302013
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
242014
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
232014
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
212017
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
172018
Simple priced timed games are not that simple
T Brihaye, G Geeraerts, A Haddad, E Lefaucheux, B Monmege
arXiv preprint arXiv:1507.03786, 2015
132015
Optimal reachability in divergent weighted timed games
D Busatto-Gaston, B Monmege, PA Reynier
Foundations of Software Science and Computation Structures: 20th …, 2017
112017
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
102014
Adding Pebbles to Weighted Automata
P Gastin, B Monmege
Implementation and Application of Automata, 28-51, 2012
102012
Specification and verification of quantitative properties: expressions, logics, and automata
B Monmege
École normale supérieure de Cachan-ENS Cachan, 2013
92013
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
82019
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
82016
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
82016
The system can't perform the operation now. Try again later.
Articles 1–20