The Modal Transition System Control Problem.

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

Browse the full FM paper archive.