Formal Design of Fault Detection and Identification Components Using Temporal Epistemic Logic.

Marco Bozzano, Alessandro Cimatti, Marco Gario, Stefano Tonetta

Browse the full TACAS paper archive.