Matt Webster, Clare Dixon, Michael Fisher 0001, Maha Salem, Joe Saunders, Kheng Lee Koay, Kerstin Dautenhahn. Formal Verification of an Autonomous Personal Robotic Assistant. In 2014 AAAI Spring Symposia, Stanford University, Palo Alto, California, USA, March 24-26, 2014. AAAI Press, 2014. [doi]
Abstract is missing.