Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta. Reactive Synthesis from Extended Bounded Response LTL Specifications. In 2020 Formal Methods in Computer Aided Design, FMCAD 2020, Haifa, Israel, September 21-24, 2020. pages 83-92, IEEE, 2020. [doi]
Abstract is missing.