From High-Level Task Specification to Robot Operating System (ROS) Implementation

TitleFrom High-Level Task Specification to Robot Operating System (ROS) Implementation
Publication TypeConference Paper
Year of Publication2017
AuthorsWong, KWeng, Kress-Gazit, H
Conference Name2017 First IEEE International Conference on Robotic Computing (IRC)
Date PublishedApril
KeywordsFormal methods, Linear Temporal Logic (LTL), Monitoring, Operating systems, Process control, Robot kinematics, Robot Mission Planning, Robot Operating System (ROS), Robot sensing systems, Servers
DOI10.1109/IRC.2017.18
Citation KeyWong17irc