Rise of concerns about AI: reflections and directions
ROSRV: Runtime verification for robots