Explaining Impossible High-Level Robot Behaviors

Vasumathi Raman, Hadas Kress-Gazit. Explaining Impossible High-Level Robot Behaviors. IEEE Transactions on Robotics, 29(1):94-104, 2013. [doi]

Abstract

Abstract is missing.