A Formal Framework for the Specification, Verification and Synthesis of Diagnosers - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Marco Bozzano, Alessandro Cimatti, Marco Gario, Stefano Tonetta. A Formal Framework for the Specification, Verification and Synthesis of Diagnosers. In Late-Breaking Developments in the Field of Artificial Intelligence, Bellevue, Washington, USA, July 14-18, 2013. Volume WS-13-17 of AAAI Workshops, AAAI, 2013. [doi]

This author has not been identified. Look up 'Marco Bozzano' in GoogleThis author has not been identified. Look up 'Alessandro Cimatti' in GoogleThis author has not been identified. Look up 'Marco Gario' in GoogleThis author has not been identified. Look up 'Stefano Tonetta' in Google

runs on WebDSL