Skip to Main content

Production year

Export Publications

Export the displayed publications:
Number of documents

3

Publications of Benjamin Monmege


Damien Busatto-Gaston   

Conference papers3 documents

  • Damien Busatto-Gaston, Benjamin Monmege, Pierre-Alain Reynier, Ocan Sankur. Robust Controller Synthesis in Timed B├╝chi Automata: A Symbolic Approach. 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⟩. ⟨hal-02264083⟩
  • Damien Busatto-Gaston, Benjamin Monmege, Pierre-Alain Reynier. Symbolic Approximation of Weighted Timed Games. 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⟩. ⟨hal-02014051⟩
  • Damien Busatto-Gaston, Benjamin Monmege, Pierre-Alain Reynier. Optimal Reachability in Divergent Weighted Timed Games. 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⟩. ⟨hal-01522546⟩