Using Reactive Synthesis: An End-to-End Exploratory Case Study.

Dor Ma'ayan, Shahar Maoz

Browse the full ICSE paper archive.