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]
Abstract is missing.