Automated support for diagnosis and repair

Model checking and logic-based learning together deliver automated support, especially in adaptive and autonomous systems.

Detalles Bibliográficos
Autores:	Alrajeh, Dalal, Russo, Alessandra, Kramer, Jeff, Uchitel, Sebastian
Tipo de recurso:	artículo
Estado:	Versión publicada
Fecha de publicación:	2014
País:	Argentina
Institución:	Consejo Nacional de Investigaciones Científicas y Técnicas
Repositorio:	CONICET Digital (CONICET)
Idioma:	inglés
OAI Identifier:	oai:ri.conicet.gov.ar:11336/2706
Acceso en línea:	http://hdl.handle.net/11336/2706
Access Level:	acceso abierto
Palabra clave:	Model Checking https://purl.org/becyt/ford/1.2 https://purl.org/becyt/ford/1

Descripción
Sumario:	Model checking and logic-based learning together deliver automated support, especially in adaptive and autonomous systems.