Reactive Synthesis with Spectra: A Tutorial

Shahar Maoz, Jan Oliver Ringert. Reactive Synthesis with Spectra: A Tutorial. In 43rd IEEE/ACM International Conference on Software Engineering: Companion Proceedings, ICSE Companion 2021, Madrid, Spain, May 25-28, 2021. pages 320-321, IEEE, 2021. [doi]

Abstract

Abstract is missing.