Angelo Ferrando, Zeid Kootbally, Pavel Piliptchak, Rafael C. Cardoso, Craig Schlenoff, Michael Fisher 0001. Runtime Verification of the ARIAC Competition: Can a Robot be Agile and Safe at the same time?. In Alberto Finzi, Alberto Castellini, Luca Buoncompagni, Salvatore Maria Anzalone, editors, Proceedings of the 7th Italian Workshop on Artificial Intelligence and Robotics co-located with the 19th International Conference of the Italian Association for Artificial Intelligence (AIxIA 2020), Anywhere, November 26th, 2020. Volume 2806 of CEUR Workshop Proceedings, pages 7-11, CEUR-WS.org, 2020. [doi]
Abstract is missing.