Safe-ROS paper demonstrates safety-critical inspection on AgileX Scout Mini

Evidence notes
- Safe-ROS proposes an architecture for autonomous robots in safety-critical domains using formally verifiable Safety Instrumented Functions.
- The paper demonstrates Safe-ROS on an AgileX Scout Mini performing autonomous inspection in a nuclear environment.
Company context
AgileX Robotics develops mobile robot chassis, unmanned ground vehicles, indoor AGVs, tracked robots and robot development platforms. Its product range includes all-terrain UGVs, compact indoor platforms, tracked chassis, mobile manipulator kits, autopilot kits and developer-oriented robotics hardware for research, education, startups and industrial R&D.