Assume-admissible synthesis

Romain Brenguier, Jean-François Raskin, Ocan Sankur. Assume-admissible synthesis. Acta Informatica, 54(1):41-83, 2017. [doi]

Abstract

Abstract is missing.