Runtime Verification of the ARIAC competition: Can arobot be Agile and Safe at the same time? (2020)

First Author: Ferrando A

Attributed to: UK Robotics and Artificial Intelligence Hub for Offshore Energy Asset Integrity Management funded by ISCF

No abstract provided

Type: Conference/Paper/Proceeding/Abstract