NATW 2008 Using Implications for Online Error Detection Nuno Alves, Jennifer Dworak, R. Iris Bahar Division of Engineering Brown University Providence,
Adaptive Robotics COM2110 Autumn Semester 2008 Lecturer: Amanda Sharkey