Ocan Sankur (Universit\'e Libre de Bruxelles)

Identifiers

• name variant Ocan Sankur (Universit\'e Libre de Bruxelles) 0.60 · backfill

Papers (2)

1. Compositional Algorithms for Succinct Safety Games cs.LO · 2016 · author #4
2. AbsSynthe: abstract synthesis from succinct safety specifications cs.LO · 2014 · author #4

Mentions

• 1407.5961 #4 · backfill · confidence 0.70 Ocan Sankur (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
• Romain Brenguier (Universit\'e Libre de Bruxelles) 2 shared papers