Thumbnail
Access Restriction
Subscribed

Author Kramer, Jeff ♦ Alrajeh, Dalal ♦ Uchitel, Sebastian ♦ Russo, Alessandra
Source ACM Digital Library
Content type Text
Publisher Association for Computing Machinery (ACM)
File Format PDF
Language English
Abstract Model checking and logic-based learning together deliver automated support, especially in adaptive and autonomous systems.
Description Affiliation: Computing of Imperial College London, U.K. (Kramer, Jeff) || Imperial College London, U.K. (Alrajeh, Dalal; Russo, Alessandra; Uchitel, Sebastian)
Age Range 18 to 22 years ♦ above 22 year
Educational Use Research
Education Level UG and PG
Learning Resource Type Article
Publisher Date 2005-08-01
Publisher Place New York
Journal Communications of the ACM (CACM)
Volume Number 58
Issue Number 2
Page Count 8
Starting Page 65
Ending Page 72


Open content in new tab

   Open content in new tab
Source: ACM Digital Library