Diagnosis as Planning Revisited.

Shirin Sohrabi, Jorge A. Baier, Sheila A. McIlraith

Browse the full KR paper archive.