A Formal Framework for the Specification, Verification and Synthesis of Diagnosers.

Marco Bozzano, Alessandro Cimatti, Marco Gario, Stefano Tonetta

Browse the full AAAI paper archive.