Python library used to safely control drone swarms and drone fleets with MAVLink
uav
drone
robotics
px4
mavlink
swarm
safety
formal-verification
ardupilot
reachability-analysis
robotics-safety
-
Updated
Feb 5, 2023 - Python