Romain Brenguier (Universit\'e Libre de Bruxelles)
Identifiers
- name variant Romain Brenguier (Universit\'e Libre de Bruxelles) 0.60 · backfill
Papers (2)
- Compositional Algorithms for Succinct Safety Games cs.LO · 2016 · author #1
- AbsSynthe: abstract synthesis from succinct safety specifications cs.LO · 2014 · author #1
Mentions
- 1407.5961 #1 · backfill · confidence 0.70 Romain Brenguier (Universit\'e Libre de Bruxelles)
Frequent Coauthors
- Guillermo A. P\'erez (Universit\'e Libre de Bruxelles) 2 shared papers
- Jean-Fran\c{c}ois Raskin (Universit\'e Libre de Bruxelles) 2 shared papers
- Ocan Sankur (Universit\'e Libre de Bruxelles) 2 shared papers