Automated support for diagnosis and repair - Alrajeh, Dalal (2014)
Model checking and logic-based learning together deliver automated support, especially in adaptive and autonomous systems.