Benjamin Monmege

Identifiers

• name variant Benjamin Monmege 0.60 · backfill

Papers (7)

1. Symbolic Approximation of Weighted Timed Games cs.GT · 2018 · author #2
2. Optimal Reachability in Divergent Weighted Timed Games cs.GT · 2017 · author #2
3. Real-Time Synthesis is Hard! cs.LO · 2016 · author #5
4. Simple Priced Timed Games Are Not That Simple cs.GT · 2015 · author #5
5. Quantitative Games under Failures cs.GT · 2015 · author #4
6. To Reach or not to Reach? Efficient Algorithms for Total-Payoff Games cs.GT · 2014 · author #4
7. Bounded Underapproximations cs.LO · 2008 · author #3

Mentions

• 1507.03786 #5 · backfill · confidence 0.70 Benjamin Monmege
• 1504.06744 #4 · backfill · confidence 0.70 Benjamin Monmege
• 1407.5030 #4 · backfill · confidence 0.70 Benjamin Monmege
• 0809.1236 #3 · backfill · confidence 0.70 Benjamin Monmege

Frequent Coauthors

• Gilles Geeraerts 4 shared papers
• Thomas Brihaye 4 shared papers
• Axel Haddad 3 shared papers
• Damien Busatto-Gaston 2 shared papers
• Pierre-Alain Reynier 2 shared papers
• Engel Lefaucheux 1 shared papers
• Gabriel Renault 1 shared papers
• Guillermo A. P\'erez 1 shared papers
• Hsi-Ming Ho 1 shared papers
• Morgane Esti\'evenart 1 shared papers
• Nathalie Sznajder 1 shared papers
• Pierre Ganty 1 shared papers
• Rupak Majumdar 1 shared papers