Reactive synthesis without regret

Paul Hunter, Guillermo A. Pérez, Jean-François Raskin. Reactive synthesis without regret. Acta Informatica, 54(1):3-39, 2017. [doi]

Abstract

Abstract is missing.