Triggers for Reactive Synthesis Specifications.

Gal Amram, Dor Ma'ayan, Shahar Maoz, Or Pistiner, Jan Oliver Ringert

Browse the full ICSE paper archive.