Travelled to:1 × Austria
1 × Italy
1 × Portugal
1 × United Kingdom
2 × France
Collaborated with:P.Gastin B.Bollig M.Zeitoun P.Ganty R.Majumdar P.Habermehl M.Leucker T.Brihaye G.Geeraerts H.Ho D.Busatto-Gaston P.Reynier O.Sankur
Talks about:automata (6) weight (4) pebbl (3) approach (2) logic (2) time (2) underapproxim (1) character (1) translat (1) synthesi (1)
Person: Benjamin Monmege
DBLP: Monmege:Benjamin
Contributed to:
2014
2013
2013
2012
2010
201020172019Wrote 8 papers:
- LICS-CSL-2014-BolligGMZ #automaton #logic
- Logical characterization of weighted pebble walking automata (BB, PG, BM, MZ), p. 10.
- DLT-2013-BolligHLM #approach #automaton #learning
- A Fresh Approach to Learning Register Automata (BB, PH, ML, BM), pp. 118–130.
- FoSSaCS-2013-BolligGM #specification #word
- Weighted Specifications over Nested Words (BB, PG, BM), pp. 385–400.
- CIAA-2012-GastinM #automaton
- Adding Pebbles to Weighted Automata (PG, BM), pp. 28–51.
- CAV-2010-GantyMM #approximate #bound
- Bounded Underapproximations (PG, RM, BM), pp. 600–614.
- ICALP-v2-2010-BolligGMZ #automaton #logic #transitive
- Pebble Weighted Automata and Transitive Closure Logics (BB, PG, BM, MZ), pp. 587–598.
- CAV-2017-BrihayeGHM #automaton #composition #named
- MightyL: A Compositional Translation from MITL to Timed Automata (TB, GG, HMH, BM), pp. 421–440.
- CAV-2019-Busatto-GastonM #approach #automaton #robust #synthesis
- Robust Controller Synthesis in Timed Büchi Automata: A Symbolic Approach (DBG, BM, PAR, OS), pp. 572–590.