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

Robots are given more and more challenging tasks in domains such as transport and delivery, farming or health. Software is key components for robots, and ROS is a popular open-source middleware for writing robotics applications. Code quality matters a lot because a poorly written software is much mo...

Full description

Saved in:

Bibliographic Details
Published in:	2018 Second IEEE International Conference on Robotic Computing (IRC) pp. 1 - 8
Main Authors:	Come, David, Brunel, Julien, Doose, David
Format:	Conference Proceeding
Language:	English
Published:	IEEE 01.01.2018
Subjects:	C++ languages code quality Engines formal methods logic robotics Robots ROS Safety Semantics Software
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!