Model-based Diagnosis of Hybrid Systems.

Sriram Narasimhan, Gautam Biswas

Browse the full IJCAI paper archive.