46543DDC-D5DF-4BC9-A0B7-EB3F00302BAERobotics and Artificial Intelligence for Nuclear (RAIN)Research GrantEP/R026084/1082B386F-6FF5-40C0-B99E-1B7F867318BEISCFINCOME_ACTUAL12807911078D8711-4B58-4A53-8C42-DFF9A06C14EARuntime Verification of the ARIAC competition: Can arobot be Agile and Safe at the same time?0f272579bcee3ab7d0897a7217533425Ferrando A2020-01-01Conference/Paper/Proceeding/Abstract5fc11ded140dc6.99070539