Benjamin Monmege

48
Documents

Publications

12
9
8
6
5
5
5
4
4
4
4
3
3
3
3
3
2
2
2
2
2
2
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
4
3
2
3
2
1
3
4
4
2
3
6
3
4
1
2

Publications

Deposit thumbnail

Decidability of One-Clock Weighted Timed Games with Arbitrary Weights

Benjamin Monmege , Julie Parreaux , Pierre-Alain Reynier

Logical Methods in Computer Science, 2025, 21 (1), ⟨10.46298/lmcs-21(1:8)2025⟩

Article dans une revue hal-04920306v1
Deposit thumbnail

Playing Stochastically in Weighted Timed Games to Emulate Memory

Benjamin Monmege , Julie Parreaux , Pierre-Alain Reynier

Logical Methods in Computer Science, 2025, 21 (1), ⟨10.46298/lmcs-21(1:19)2025⟩

Article dans une revue hal-04973633v1
Deposit thumbnail

Regular ${D}$-length: A tool for improved prefix-stable forward Ramsey factorisations

Théodore Lopez , Benjamin Monmege , Jean-Marc Talbot

Information Processing Letters, 2025, 187, pp.106497. ⟨10.1016/j.ipl.2024.106497⟩

Article dans une revue hal-04562306v1
Deposit thumbnail

Les jeux à la rescousse de la vérification

Benjamin Monmege

Interstices, 2023

Article dans une revue hal-04230642v1
Deposit thumbnail

One-Clock Priced Timed Games with Arbitrary Weights

Thomas Brihaye , Gilles Geeraerts , Axel Haddad , Engel Lefaucheux , Benjamin Monmege

Logical Methods in Computer Science, 2022, 18 (3), pp.51

Article dans une revue hal-02424743v2
Deposit thumbnail

Interval Iteration Algorithm for MDPs and IMDPs

Serge Haddad , Benjamin Monmege

Theoretical Computer Science, 2018, 735, pp.111 - 131. ⟨10.1016/j.tcs.2016.12.003⟩

Article dans une revue hal-01809094v1
Deposit thumbnail

A Unifying Survey on Weighted Logics and Weighted Automata

Paul Gastin , Benjamin Monmege

Soft Computing, 2018, 22 (4), pp.1047-1065. ⟨10.1007/s00500-015-1952-6⟩

Article dans une revue hal-01130216v2
Deposit thumbnail

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

Thomas Brihaye , Gilles Geeraerts , Axel Haddad , Benjamin Monmege

Acta Informatica, 2017, Special Issue: Selected papers from the 26th International Conference on Concurrency Theory (CONCUR 2015), 54 (1), pp.85--125. ⟨10.1007/s00236-016-0276-z⟩

Article dans une revue hal-01414114v1
Deposit thumbnail

A Robust Class of Data Languages and an Application to Learning

Benedikt Bollig , Peter Habermehl , Martin Leucker , Benjamin Monmege

Logical Methods in Computer Science, 2014, 10 (4:19), ⟨10.2168/LMCS-10(4:19)2014⟩

Article dans une revue hal-00920945v2
Deposit thumbnail

Pebble Weighted Automata and Weighted Logics

Benedikt Bollig , Paul Gastin , Benjamin Monmege , Marc Zeitoun

ACM Transactions on Computational Logic, 2014, 15 (2), pp.15. ⟨10.1145/2579819⟩

Article dans une revue hal-00964994v2
Deposit thumbnail

Adding Pebbles to Weighted Automata: Easy Specification & Efficient Evaluation

Paul Gastin , Benjamin Monmege

Theoretical Computer Science, 2014, 534, ⟨10.1016/j.tcs.2014.02.034⟩

Article dans une revue hal-01091105v2

Bounded underapproximations

Pierre Ganty , Rupak Majumdar , Benjamin Monmege

Formal Methods in System Design, 2012, 40 (2), pp.206-231. ⟨10.1007/s10703-011-0136-y⟩

Article dans une revue hal-00776791v1
Deposit thumbnail

Reasoning About Quality in Hyperproperties

Samuel Graepler , Benjamin Monmege , Jean-Marc Talbot

34th EACSL Annual Conference on Computer Science Logic (CSL 2026), 2026, Paris, France. ⟨10.4230/LIPIcs.CSL.2026.45⟩

Communication dans un congrès hal-05531778v1
Deposit thumbnail

Permissive Equilibria in Multiplayer Reachability Games

Aline Goeminne , Benjamin Monmege

33rd EACSL Annual conference on Computer Science Logic (CSL 2025), 2025, Amsterdam, France. ⟨10.4230/LIPIcs.CSL.2025.23⟩

Communication dans un congrès hal-04939923v1
Deposit thumbnail

A Bargaining-Game Framework for Multi-Party Access Control

Gelareh Hasel Mehri , Benjamin Monmege , Clara Bertolissi , Nicola Zannone

29th ACM Symposium on Access Control Models and Technologies (SACMAT 2024), 2024, San Antonio, United States. ⟨10.1145/3649158.3657033⟩

Communication dans un congrès hal-04740615v1
Deposit thumbnail

Synthesis of Robust Optimal Real-Time Systems

Benjamin Monmege , Julie Parreaux , Pierre-Alain Reynier

49th international symposium on mathematical foundations of computer science (MFCS'24), 2024, Bratislava, Czech Republic. ⟨10.4230/LIPICS.MFCS.2024.74⟩

Communication dans un congrès hal-04740611v1
Deposit thumbnail

An Automata Theoretic Characterization of Weighted First-Order Logic

Dhruv Nevatia , Benjamin Monmege

International Symposium on Automated Technology for Verification and Analysis, 2023, Singapore, Singapore. pp.115-133, ⟨10.1007/978-3-031-45329-8_6⟩

Communication dans un congrès hal-04281052v1
Deposit thumbnail

Weighted Automata and Expressions over Pre-Rational Monoids

Nicolas Baudru , Louis-Marie Dando , Nathan Lhote , Benjamin Monmege , Pierre-Alain Reynier et al.

30th EACSL Annual Conference on Computer Science Logic (CSL 2022), Feb 2022, Göttingen, France. ⟨10.4230/LIPIcs.CSL.2022.6⟩

Communication dans un congrès hal-03545602v1
Deposit thumbnail

Playing Stochastically in Weighted Timed Games to Emulate Memory

Benjamin Monmege , Julie Parreaux , Pierre-Alain Reynier

48th International Colloquium on Automata, Languages, and Programming (ICALP 2021), Jul 2021, Glasgow (virtual), United Kingdom. ⟨10.4230/LIPIcs.ICALP.2021.137⟩

Communication dans un congrès hal-03282049v1
Deposit thumbnail

Reaching Your Goal Optimally by Playing at Random with No Memory

Benjamin Monmege , Julie Parreaux , Pierre-Alain Reynier

31st International Conference on Concurrency Theory (CONCUR 2020), 2020, Vienna, Austria. ⟨10.4230/LIPIcs.CONCUR.2020.26⟩

Communication dans un congrès hal-02925540v1
Deposit thumbnail

Determinisation of Finitely-Ambiguous Copyless Cost Register Automata

Théodore Lopez , Benjamin Monmege , Jean-Marc Talbot

44th International Symposium on Mathematical Foundations of Computer Science, Aug 2019, Aachen, Germany. ⟨10.4230/LIPIcs.MFCS.2019.75⟩

Communication dans un congrès hal-02268107v1
Deposit thumbnail

Dynamics on Games: Simulation-Based Techniques and Applications to Routing

Thomas Brihaye , Gilles Geeraerts , Marion Hallet , Benjamin Monmege , Bruno Quoitin

39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2019), Dec 2019, Bombay, India. ⟨10.4230/LIPIcs.FSTTCS.2019.35⟩

Communication dans un congrès hal-02414987v1
Deposit thumbnail

Robust Controller Synthesis in Timed Büchi Automata: A Symbolic Approach

Damien Busatto-Gaston , Benjamin Monmege , Pierre-Alain Reynier , Ocan Sankur

CAV 2019 - 31st International Conference on Computer Aided Verification, Jul 2019, New-York, United States. pp.572-590, ⟨10.1007/978-3-030-25540-4_33⟩

Communication dans un congrès hal-02264083v1
Deposit thumbnail

Efficient algorithms and tools for MITL model-checking and synthesis

Thomas Brihaye , Arthur Milchior , Gilles Geeraerts , Hsi-Ming Ho , Benjamin Monmege

23rd International Conference on Engineering of Complex Computer Systems (ICECCS), Dec 2018, Melbourne, Australia

Communication dans un congrès hal-02014073v1
Deposit thumbnail

Symbolic Approximation of Weighted Timed Games

Damien Busatto-Gaston , Benjamin Monmege , Pierre-Alain Reynier

38th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2018), Dec 2018, Ahmedabad, India. ⟨10.4230/LIPIcs.FSTTCS.2018.28⟩

Communication dans un congrès hal-02014051v1
Deposit thumbnail

Optimal Reachability in Divergent Weighted Timed Games

Damien Busatto-Gaston , Benjamin Monmege , Pierre-Alain Reynier

20th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS'17), Apr 2017, Uppsala, Sweden. pp.162-178, ⟨10.1007/978-3-662-54458-7_10⟩

Communication dans un congrès hal-01522546v1
Deposit thumbnail

Timed-Automata-Based Verification of MITL over Signals

Thomas Brihaye , Gilles Geeraerts , Hsi-Ming Ho , Benjamin Monmege

24th International Symposium on Temporal Representation and Reasoning (TIME 2017), Oct 2017, Mons, France. pp.7:1--7:19, ⟨10.4230/LIPIcs.TIME.2017.7⟩

Communication dans un congrès hal-01526986v1
Deposit thumbnail

MightyL: A Compositional Translation from MITL to Timed Automata

Thomas Brihaye , Gilles Geeraerts , Hsi-Ming Ho , Benjamin Monmege

29th International Conference on Computer Aided Verification (CAV'17), Jul 2017, Heidelberg, Germany. pp.421-440, ⟨10.1007/978-3-319-63387-9_21⟩

Communication dans un congrès hal-01525524v1
Deposit thumbnail

Efficient Energy Distribution in a Smart Grid using Multi-Player Games

Thomas T Brihaye , Amit K Kumar Dhar , Gilles Geeraerts , Axel Haddad , Benjamin Monmege

Cassting Workshop on Games for the Synthesis of Complex Systems (Cassting'16) , Apr 2016, Eindhoven, Netherlands. pp.1 - 12, ⟨10.4204/EPTCS.220.1⟩

Communication dans un congrès hal-01452611v1
Deposit thumbnail

Real-time Synthesis is Hard!

Thomas Brihaye , Morgane Estiévenart , Gilles Geeraerts , Hsi-Ming Ho , Benjamin Monmege et al.

14th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS'16), Aug 2016, Québec City, Canada. pp.105-120, ⟨10.1007/978-3-319-44878-7_7⟩

Communication dans un congrès hal-01344684v1
Deposit thumbnail

Quantitative Games under Failures

Thomas Brihaye , Gilles Geeraerts , Axel Haddad , Benjamin Monmege , Guillermo A. Pérez et al.

35th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'15), Dec 2015, Bangalore, India. pp.293-306, ⟨10.4230/LIPIcs.FSTTCS.2015.293⟩

Communication dans un congrès hal-01273251v1
Deposit thumbnail

Simple Priced Timed Games Are Not That Simple

Thomas Brihaye , Gilles Geeraerts , Axel Haddad , Engel Lefaucheux , Benjamin Monmege

Proceedings of the 35th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'15), Dec 2015, Bangalore, India. pp.278-292, ⟨10.4230/LIPIcs.FSTTCS.2015.p⟩

Communication dans un congrès hal-01452621v1
Deposit thumbnail

To Reach or not to Reach? Efficient Algorithms for Total-Payoff Games

Thomas Brihaye , Gilles Geeraerts , Axel Haddad , Benjamin Monmege

Proceedings of the 26th International Conference on Concurrency Theory (CONCUR'15), Sep 2015, Madrid, Spain. pp.297-310, ⟨10.4230/LIPIcs.CONCUR.2015.297⟩

Communication dans un congrès hal-01273475v1
Deposit thumbnail

Logical Characterization of Weighted Pebble Walking Automata

Benedikt Bollig , Paul Gastin , Benjamin Monmege , Marc Zeitoun

CSL-LICS '14, Jul 2014, Vienna, Austria. ⟨10.1145/2603088.2603118⟩

Communication dans un congrès hal-01006125v1
Deposit thumbnail

Adding Negative Prices to Priced Timed Games

Thomas Brihaye , Gilles Geeraerts , Shankara Narayanan Krishna , Lakshmi Manasa , Benjamin Monmege et al.

25th International Conference on Concurrency Theory (CONCUR'14), Sep 2014, Rome, Italy. pp.560-575, ⟨10.1007/978-3-662-44584-6_38⟩

Communication dans un congrès hal-01273480v1
Deposit thumbnail

Reachability in MDPs: Refining Convergence of Value Iteration

Serge Haddad , Benjamin Monmege

8th International Workshop on Reachability Problems (RP'14), Sep 2014, Oxford, United Kingdom. pp.125-137, ⟨10.1007/978-3-319-11439-2_10⟩

Communication dans un congrès hal-01091122v2
Deposit thumbnail

Weighted Specifications over Nested Words

Benedikt Bollig , Paul Gastin , Benjamin Monmege

Foundations of Software Science and Computation Structures (FoSSaCS'13), Mar 2013, Rome, Italy. pp.385-400, ⟨10.1007/978-3-642-37075-5_25⟩

Communication dans un congrès hal-00909035v1
Deposit thumbnail

A Fresh Approach to Learning Register Automata

Benedikt Bollig , Peter Habermehl , Martin Leucker , Benjamin Monmege

Developments in Language Theory, 2013, France. pp.118-130, ⟨10.1007/978-3-642-38771-5_12⟩

Communication dans un congrès hal-00908998v1

Adding Pebbles to Weighted Automata

Paul Gastin , Benjamin Monmege

Proceedings of the 17th International Conference on Implementation and Application of Automata (CIAA'12), 2012, Porto, Portugal. pp.28-51, ⟨10.1007/978-3-642-31606-7_4⟩

Communication dans un congrès hal-00776603v1
Deposit thumbnail

A Probabilistic Kleene Theorem

Benedikt Bollig , Paul Gastin , Benjamin Monmege , Marc Zeitoun

Automated Technology for Verification and Analysis (ATVA'12), Oct 2012, Thiruvananthapuram, India. pp.400-415, ⟨10.1007/978-3-642-33386-6_31⟩

Communication dans un congrès hal-00909042v1
Deposit thumbnail

Bounded Underapproximations

Pierre Ganty , Rupak Majumdar , Benjamin Monmege

Proceedings of the 22nd International Conference on Computer Aided Verification (CAV'10), Jul 2010, Edinburgh, United Kingdom. pp.600-614, ⟨10.1007/978-3-642-14295-6_52⟩

Communication dans un congrès hal-00608175v1
Deposit thumbnail

Pebble weighted automata and transitive closure logics

Benedikt Bollig , Paul Gastin , Benjamin Monmege , Marc Zeitoun

Proceedings of the 37th International Colloquium on Automata, Languages and Programming (ICALP'10) - Part II, Jul 2010, Bordeaux, France. pp.587-598, ⟨10.1007/978-3-642-14162-1_49⟩

Communication dans un congrès hal-00608179v1
Deposit thumbnail

Game Theory for Real-Time Synthesis: Decision, Approximation, and Randomness

Benjamin Monmege

Computer Science and Game Theory [cs.GT]. Aix-Marseille Université, 2022

HDR tel-03663275v1