Cleaning up the mess: a formal framework for autonomously reverting BDI agent actions
SEAMS@ICSE, pp. 108-118, 2018.
In order to cope with abnormal situations, self-adaptive systems may perform remediation actions to guarantee an acceptable system behaviour while dealing with critical execution problems. When problems are solved, the effect of such actions may need to be reverted to return the system to a normal state. This leads to the general problem ...More
Full Text (Upload PDF)
PPT (Upload PPT)