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]

Authors

Paul Hunter

This author has not been identified. Look up 'Paul Hunter' in Google

Guillermo A. Pérez

This author has not been identified. Look up 'Guillermo A. Pérez' in Google

Jean-François Raskin

This author has not been identified. Look up 'Jean-François Raskin' in Google