Automated support for diagnosis and repair
Automated support for diagnosis and repair
复制标题
DOI：
10.1145/2658986
复制
发表时间：
2015-01
影响因子：
22.7
通讯作者：
Dalal Alrajeh;J. Kramer;A. Russo;Sebastián Uchitel
中科院分区：
文献类型：
--
作者：
Dalal Alrajeh;J. Kramer;A. Russo;Sebastián Uchitel
模型检查和基于逻辑的学习一起提供自动化支持，特别是在自适应和自治系统中。
Model checking and logic-based learning together deliver automated support, especially in adaptive and autonomous systems.