Towards Languagebased Verification of Robot Behaviors (2011)

by A Cowley, C J Taylor
Venue:In Proc. IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS