Deductive control synthesis for alternating-time logics.

Rayna Dimitrova, Rupak Majumdar

Browse the full EMSOFT paper archive.