Reactive Synthesis from Extended Bounded Response LTL Specifications

Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta
2020-01-01
Cite DOI
Type
Conference paper
Publication
PROCEEDINGS OF THE 20TH CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN – FMCAD 2020

Related