Romain Brenguier (Universit\'e Libre de Bruxelles)

Identifiers

• name variant Romain Brenguier (Universit\'e Libre de Bruxelles) 0.60 · backfill

Papers (2)

1. Compositional Algorithms for Succinct Safety Games cs.LO · 2016 · author #1
2. 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