Reactive Synthesis from Extended Bounded Response LTL Specifications - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Alessandro Cimatti' in GoogleThis author has not been identified. Look up 'Luca Geatti' in GoogleThis author has not been identified. Look up 'Nicola Gigante' in GoogleThis author has not been identified. Look up 'Angelo Montanari' in GoogleThis author has not been identified. Look up 'Stefano Tonetta' in Google

runs on WebDSL