Accéder directement au contenu

Benjamin Monmege

2
Documents

Publications

ocan-sankur
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