Accéder directement au contenu

Benjamin Monmege

41
Documents

Publications

Image document

Les jeux à la rescousse de la vérification

Benjamin Monmege
Interstices, 2023
Article dans une revue hal-04230642v1
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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

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
Image document

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
Image document

Weighted Automata and Expressions over Pre-Rational Monoids

Nicolas Baudru , Louis-Marie Dando , Nathan Lhote , Benjamin Monmege , Pierre-Alain Reynier
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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

Real-time Synthesis is Hard!

Thomas Brihaye , Morgane Estiévenart , Gilles Geeraerts , Hsi-Ming Ho , Benjamin Monmege
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
Image document

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
Image document

Quantitative Games under Failures

Thomas Brihaye , Gilles Geeraerts , Axel Haddad , Benjamin Monmege , Guillermo A. Pérez
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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

Adding Negative Prices to Priced Timed Games

Thomas Brihaye , Gilles Geeraerts , Shankara Narayanan Krishna , Lakshmi Manasa , Benjamin Monmege
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
Image document

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
Image document

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
Image document

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

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
Image document

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
Image document

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
Image document

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