Controller synthesis: from modelling to enactment.

Vctor A. Braberman, Nicols D'Ippolito, Nir Piterman, Daniel Sykes, Sebastin Uchitel

Browse the full ICSE paper archive.