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...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	2018 Second IEEE International Conference on Robotic Computing (IRC) S. 1 - 8
Hauptverfasser:	Come, David, Brunel, Julien, Doose, David
Format:	Tagungsbericht
Sprache:	Englisch
Veröffentlicht:	IEEE 01.01.2018
Schlagworte:	C++ languages code quality Engines formal methods logic robotics Robots ROS Safety Semantics Software
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!