Runtime assurance (ASTM F3269) for autonomous and LLM-controlled flight. A safety arbiter bounds an untrusted planner, neural policy or LLM on PX4 + ROS 2 — with formal monitors (FRET/Ogma/Copilot), DAIDALUS detect-and-avoid, geofence prediction, and a measured 61 ms p99 switch. F´/space port specified.
uav drone cpp robotics space aerospace px4 autopilot formal-methods geofence ros2 safety-critical sitl autonomous-systems runtime-verification fprime embodied-ai llm-agents runtime-assurance detect-and-avoid
-
Updated
Sep 14, 2026 - Python