[CACM '15] Automated Support for Diagnosis and Repair: Marrying Model Checking and Logic-based Learning

D. Alrajeh, J. Kramer, A. Russo, S. Uchitel: "Automated Support for Diagnosis and Repair: Marrying Model Checking and Logic-based Learning". Communications of the ACM, to appear.

Undefined