AbsSynthe: abstract synthesis from succinct safety specifications

Romain Brenguier‚ Guillermo A Pérez‚ Jean−François Raskin and Ocan Sankur