Ferrando, A.
, Kootbally, Z.
, Piliptchak, P.
, Cardoso, R.
, Schlenoff, C.
and Fisher, M.
(2020),
Runtime Verification of the ARIAC Competition: Can a Robot be Agile and Safe at the Same Time?, 19th International Conference of the Italian Association for Artificial Intelligence (AIxIA 2020), Virtually, IT, [online], https://tsapps.nist.gov/publication/get_pdf.cfm?pub_id=931511
(Accessed April 23, 2024)
Official websites use .gov
A .gov website belongs to an official government organization in the United States.
Secure .gov websites use HTTPS
A lock (
) or https:// means you’ve safely connected to the .gov website. Share sensitive information only on official, secure websites.
Runtime Verification of the ARIAC Competition: Can a Robot be Agile and Safe at the Same Time?
Published
Author(s)
Angelo Ferrando, , , Rafael Cardoso, , Michael Fisher
Abstract
ARIAC (Agile Robotics for Industrial Automation Competition) is a robotic competition which aims to advance robotic agility in industry. Participants in this competition are required to implement a robot control system to overcome agility challenges in a simulated environment. ARIAC comes with a set of score metrics to evaluate the performance of each control system during task execution. In this paper we show how such task-oriented evaluation can be problematic and how the addition of runtime monitors to verify properties derived by ISO/TS standards can help in reducing the resulting reality gap.Proceedings Title
19th International Conference of the Italian Association for Artificial Intelligence (AIxIA 2020)
Conference Dates
November 25-27, 2020
Conference Location
Virtually, IT
Pub Type
Conferences
Download Paper
Keywords
ARIAC, agility, robotics, safety, real-time monitoring, simulation
Citation
Created November 27, 2020, Updated February 23, 2022