Pencolé, Yannick

3 publications

IJCAI 2011 A Theory of Meta-Diagnosis: Reasoning About Diagnostic Systems Nuno Belard, Yannick Pencolé, Michel Combacau

AAAI 2007 A Spectrum of Symbolic On-Line Diagnosis Approaches Anika Schumann, Yannick Pencolé, Sylvie Thiébaux

IJCAI 2007 Scalable Diagnosability Checking of Event-Driven Systems Anika Schumann, Yannick Pencolé