Concepedia

Benjamin Monmege

BM

5

Publications

162

Citations

5

H-Index

2012

Active since

Affiliations

Centre National de la Recherche Scientifique(Current)

École Normale Supérieure Paris-Saclay

Laboratoire Spécification et Vérification

Aix-Marseille Université

Université Paris-Saclay

Benjamin Monmege is an author at Centre National de la Recherche Scientifique specializing in engineering, computer science, and automated reasoning.

Top concepts

EngineeringComputer ScienceFormal MethodsAutomated ReasoningFormal VerificationMathematical ProgrammingGamesBusinessManagementData Mining

Publications per year

2012–2017

5

Publications

5

Interval iteration algorithm for MDPs and IMDPs

Serge Haddad, Benjamin Monmege · Theoretical Computer Science · 2017 · 86 citations · Full text

Numerical Analysis, Mathematical Programming, Engineering +6

A Robust Class of Data Languages and an Application to Learning

Benedikt Bollig, Peter Habermehl, Martin Leucker et al. · Logical Methods in Computer Science · 2014 · 22 citations · Full text

Data Representation, Engineering, Machine Learning +27

Bounded underapproximations

Pierre Ganty, Rupak Majumdar, Benjamin Monmege · Formal Methods in System Design · 2012 · 22 citations · Full text

Pseudopolynomial iterative algorithm to solve total-payoff games and min-cost reachability games

Thomas Brihaye, Gilles Geeraerts, Axel Haddad et al. · Acta Informatica · 2016 · 17 citations

Mathematical Programming, Min-cost Reachability Games, Differential Game +15

A unifying survey on weighted logics and weighted automata

Paul Gastin, Benjamin Monmege · Soft Computing · 2015 · 15 citations

Fuzzy Logic, Engineering, Logical Automaton +7

Rows per page

1–5 of 5