Explanatory Diagnosis of Discrete-Event Systems with Temporal Information and Smart Knowledge-Compilation.

Nicola Bertoglio, Gianfranco Lamperti, Marina Zanella, Xiangfu Zhao

Browse the full KR paper archive.