Agostino Cortesi, Pietro Ferrara, Nabendu Chaki. Static analysis techniques for robotics software verification. In Proceedings of the 44th Internationel Symposium on Robotics, IEEE ISR 2013, Seoul, Korea (South), October 24-26, 2013. pages 1-6, IEEE, 2013. [doi]