Model-Based Diagnosis of Hybrid Systems Using Satisfiability Modulo Theory.

Alexander Diedrich, Alexander Maier, Oliver Niggemann

Browse the full AAAI paper archive.