Extended bounded response LTL: a new safety fragment for efficient reactive synthesis
From MaRDI portal
Publication:6661746
DOI10.1007/s10703-021-00383-3MaRDI QIDQ6661746
Angelo Montanari, Luca Geatti, Nicola Gigante, Stefano Tonetta, Alessandro Cimatti
Publication date: 13 January 2025
Published in: Formal Methods in System Design (Search for Journal in Brave)
This page was built for publication: Extended bounded response LTL: a new safety fragment for efficient reactive synthesis
