IEEE - Institute of Electrical and Electronics Engineers, Inc. - Runtime Verification on Hierarchical Properties of ROS-Based Robot Swarms

Author(s): Chi Hu ; Wei Dong ; Yonghui Yang ; Hao Shi ; Ge Zhou
Sponsor(s): IEEE Reliability Society
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Volume: PP
Page(s): 1 - 16
ISSN (Electronic): 1558-1721
ISSN (Paper): 0018-9529
DOI: 10.1109/TR.2019.2923681
Regular:

Various robots are playing critical roles in many areas such as industrial manufacturing, disaster rescuing, unmanned vehicle, and science exploration. Because of the uncertain environment,... View More

Advertisement