×

zbMATH — the first resource for mathematics

Monmege, Benjamin

Compute Distance To:
Author ID: monmege.benjamin Recent zbMATH articles by "Monmege, Benjamin"
Published as: Monmege, Benjamin
Documents Indexed: 21 Publications since 2010, including 1 Book

Publications by Year

Citations contained in zbMATH Open

18 Publications have been cited 44 times in 34 Documents Cited by Year
Pebble weighted automata and transitive closure logics. Zbl 1288.68149
Bollig, Benedikt; Gastin, Paul; Monmege, Benjamin; Zeitoun, Marc
6
2010
Reachability in MDPs: refining convergence of value iteration. Zbl 1393.68102
Haddad, Serge; Monmege, Benjamin
6
2014
Adding negative prices to priced timed games. Zbl 1417.68120
Brihaye, Thomas; Geeraerts, Gilles; Narayanan Krishna, Shankara; Manasa, Lakshmi; Monmege, Benjamin; Trivedi, Ashutosh
3
2014
Pseudopolynomial iterative algorithm to solve total-payoff games and min-cost reachability games. Zbl 1362.68203
Brihaye, Thomas; Geeraerts, Gilles; Haddad, Axel; Monmege, Benjamin
3
2017
To reach or not to reach? Efficient algorithms for total-payoff games. Zbl 1376.91038
Brihaye, Thomas; Geeraerts, Gilles; Haddad, Axel; Monmege, Benjamin
3
2015
Pebble weighted automata and weighted logics. Zbl 1291.03076
Bollig, Benedikt; Gastin, Paul; Monmege, Benjamin; Zeitoun, Marc
2
2014
Optimal reachability in divergent weighted timed games. Zbl 06720989
Busatto-Gaston, Damien; Monmege, Benjamin; Reynier, Pierre-Alain
2
2017
Adding pebbles to weighted automata. Zbl 1297.68128
Gastin, Paul; Monmege, Benjamin
2
2012
Adding pebbles to weighted automata: easy specification & efficient evaluation. Zbl 1359.68167
Gastin, Paul; Monmege, Benjamin
2
2014
Simple priced timed games are not that simple. Zbl 1366.68137
Brihaye, Thomas; Geeraerts, Gilles; Haddad, Axel; Lefaucheux, Engel; Monmege, Benjamin
2
2015
A unifying survey on weighted logics and weighted automata. Core weighted logic: minimal and versatile specification of quantitative properties. Zbl 1398.03157
Gastin, Paul; Monmege, Benjamin
2
2018
A fresh approach to learning register automata. Zbl 1381.68103
Bollig, Benedikt; Habermehl, Peter; Leucker, Martin; Monmege, Benjamin
2
2013
A robust class of data languages and an application to learning. Zbl 1448.68258
Bollig, Benedikt; Habermehl, Peter; Leucker, Martin; Monmege, Benjamin
2
2014
Bounded underapproximations. Zbl 1247.68140
Ganty, Pierre; Majumdar, Rupak; Monmege, Benjamin
2
2012
Weighted specifications over nested words. Zbl 1260.68228
Bollig, Benedikt; Gastin, Paul; Monmege, Benjamin
2
2013
Quantitative games under failures. Zbl 1366.68216
Brihaye, Thomas; Geeraerts, Gilles; Haddad, Axel; Monmege, Benjamin; Pérez, Guillermo A.; Renault, Gabriel
1
2015
Real-time synthesis is hard! Zbl 1433.68210
Brihaye, Thomas; Estiévenart, Morgane; Geeraerts, Gilles; Ho, Hsi-Ming; Monmege, Benjamin; Sznajder, Nathalie
1
2016
Interval iteration algorithm for MDPs and IMDPs. Zbl 1393.68103
Haddad, Serge; Monmege, Benjamin
1
2018
A unifying survey on weighted logics and weighted automata. Core weighted logic: minimal and versatile specification of quantitative properties. Zbl 1398.03157
Gastin, Paul; Monmege, Benjamin
2
2018
Interval iteration algorithm for MDPs and IMDPs. Zbl 1393.68103
Haddad, Serge; Monmege, Benjamin
1
2018
Pseudopolynomial iterative algorithm to solve total-payoff games and min-cost reachability games. Zbl 1362.68203
Brihaye, Thomas; Geeraerts, Gilles; Haddad, Axel; Monmege, Benjamin
3
2017
Optimal reachability in divergent weighted timed games. Zbl 06720989
Busatto-Gaston, Damien; Monmege, Benjamin; Reynier, Pierre-Alain
2
2017
Real-time synthesis is hard! Zbl 1433.68210
Brihaye, Thomas; Estiévenart, Morgane; Geeraerts, Gilles; Ho, Hsi-Ming; Monmege, Benjamin; Sznajder, Nathalie
1
2016
To reach or not to reach? Efficient algorithms for total-payoff games. Zbl 1376.91038
Brihaye, Thomas; Geeraerts, Gilles; Haddad, Axel; Monmege, Benjamin
3
2015
Simple priced timed games are not that simple. Zbl 1366.68137
Brihaye, Thomas; Geeraerts, Gilles; Haddad, Axel; Lefaucheux, Engel; Monmege, Benjamin
2
2015
Quantitative games under failures. Zbl 1366.68216
Brihaye, Thomas; Geeraerts, Gilles; Haddad, Axel; Monmege, Benjamin; Pérez, Guillermo A.; Renault, Gabriel
1
2015
Reachability in MDPs: refining convergence of value iteration. Zbl 1393.68102
Haddad, Serge; Monmege, Benjamin
6
2014
Adding negative prices to priced timed games. Zbl 1417.68120
Brihaye, Thomas; Geeraerts, Gilles; Narayanan Krishna, Shankara; Manasa, Lakshmi; Monmege, Benjamin; Trivedi, Ashutosh
3
2014
Pebble weighted automata and weighted logics. Zbl 1291.03076
Bollig, Benedikt; Gastin, Paul; Monmege, Benjamin; Zeitoun, Marc
2
2014
Adding pebbles to weighted automata: easy specification & efficient evaluation. Zbl 1359.68167
Gastin, Paul; Monmege, Benjamin
2
2014
A robust class of data languages and an application to learning. Zbl 1448.68258
Bollig, Benedikt; Habermehl, Peter; Leucker, Martin; Monmege, Benjamin
2
2014
A fresh approach to learning register automata. Zbl 1381.68103
Bollig, Benedikt; Habermehl, Peter; Leucker, Martin; Monmege, Benjamin
2
2013
Weighted specifications over nested words. Zbl 1260.68228
Bollig, Benedikt; Gastin, Paul; Monmege, Benjamin
2
2013
Adding pebbles to weighted automata. Zbl 1297.68128
Gastin, Paul; Monmege, Benjamin
2
2012
Bounded underapproximations. Zbl 1247.68140
Ganty, Pierre; Majumdar, Rupak; Monmege, Benjamin
2
2012
Pebble weighted automata and transitive closure logics. Zbl 1288.68149
Bollig, Benedikt; Gastin, Paul; Monmege, Benjamin; Zeitoun, Marc
6
2010
all top 5

Cited by 79 Authors

5 Monmege, Benjamin
2 Brihaye, Thomas
2 Chatterjee, Krishnendu
2 Droste, Manfred
2 Engelfriet, Joost
2 Gastin, Paul
2 Henzinger, Thomas A.
2 Junges, Sebastian
2 Katoen, Joost-Pieter
2 Otop, Jan
2 Vogler, Heiko
1 André, Étienne
1 Avni, Guy
1 Bauer, Matthew Steven
1 Bollig, Benedikt
1 Bruyère, Véronique
1 Busatto-Gaston, Damien
1 Cassel, Sofia
1 Chadha, Rohit
1 Chambart, Pierre
1 Decker, Normann
1 Dück, Stefan
1 Fahrenberg, Uli
1 Finkel, Alain
1 Fülöp, Zoltán
1 Geeraerts, Gilles
1 Goeminne, Aline
1 Guha, Shibashis
1 Habermehl, Peter
1 Haddad, Axel
1 Haddad, Serge
1 Hague, Matthew
1 Hartmanns, Arnd
1 Ho, Hsi-Ming
1 Hölzl, Johannes
1 Howar, Falk
1 Jones, Timothy M.
1 Jonsson, Bengt
1 Jovanović, Aleksandra Ž.
1 Kozen, Dexter C.
1 Křetínský, Jan
1 Kupferman, Orna
1 Kwiatkowska, Marta Z.
1 Legay, Axel
1 Leroux, Stéphane
1 Leucker, Martin
1 Lime, Didier
1 Lin, Anthony Widjaja
1 Lombardy, Sylvain
1 Mandrali, Eleni
1 Mathur, Umang
1 Meggendorfer, Tobias
1 Milius, Stefan
1 Murawski, Andrzej S.
1 Neider, Daniel
1 Norman, Gethin
1 Paul, Erik
1 Pauly, Arno M.
1 Perevoshchikov, Vitaly
1 Peyras, Quentin
1 Quaas, Karin
1 Quatmann, Tim
1 Rahonis, George
1 Ramparison, Mathias
1 Ramsay, Steven James
1 Reynier, Pierre-Alain
1 Schmitz, Sylvain
1 Schröder, Lutz
1 Spel, Jip
1 Steffen, Bernhard
1 Thoma, Daniel
1 Thomasset, Nathan
1 Tzevelekos, Nikos
1 Viswanathan, Mahesh
1 Weinert, Alexander
1 Wißmann, Thorsten
1 Zeitoun, Marc
1 Zhou, Ruoyu
1 Zimmermann, Martín G.

Citations by Year