Formal Verification of Diagnosability via Symbolic Model Checking.

Alessandro Cimatti, Charles Pecheur, Roberto Cavada

Browse the full IJCAI paper archive.