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

Dor Ma'ayan Shahar Maoz Using Reactive Synthesis: An End-to-End Exploratory Case Study. 742-754 2023 ICSE https://doi.org/10.1109/ICSE48619.2023.00071 conf/icse/2023 db/conf/icse/icse2023.html#MaayanM23