Evaluating a reactive semantics for robotics | IEEE Conference Publication | IEEE Xplore