pymavswarm (pypi): Python library used to communicate with multiple UAS simultaneously using MAVLink
Keywords: ardupilot|drone|formal-verification|mavlink|px4|reachability-analysis|robotics|robotics-safety|safety|swarm|uav