Improving Code Quality in ROS Packages Using a Temporal Extension of First-Order Logic

David Come, Julien Brunel, David Doose. Improving Code Quality in ROS Packages Using a Temporal Extension of First-Order Logic. In Second IEEE International Conference on Robotic Computing, IRC 2018, Laguna Hills, CA, USA, January 31 - February 2, 2018. pages 1-8, IEEE Computer Society, 2018. [doi]

Abstract

Abstract is missing.