Christopher Newport University Robotics

slugs Public Forked from VerifiableRobotics/slugs

SmalL bUt Complete GROne Synthesizer

C 0 26 0 0 Updated Aug 15, 2026

Roster configuration, deployment launch files, and Python helpers for orchestrating Flexible Drones at CNU's SERC Drone and Robotics Lab.

Shell 0Apache-2.0 0 0 0 Updated Jul 2, 2026

flexible_drones_flexbe Public

States and behaviors for the flexible_drones FlexBE integration.

Python 0Apache-2.0 0 0 0 Updated Jul 2, 2026

flexible_drones_arducopter Public

Manager nodes and launch support for Flexible Drones interface to PixHawk and ArduCopter controlled drones.

Python 0Apache-2.0 0 0 0 Updated Jul 2, 2026

flexible_drones_optitrack Public

This is a ROS2 driver providing data from Optitrack motion capture systems for the Flexible Drones system.

C++ 0Apache-2.0 0 0 0 Updated Jul 2, 2026

flexible_drones_gazebo Public

Multi-drone Gazebo simulation support for Flexible Drones.

Python 0Apache-2.0 0 0 0 Updated Jul 2, 2026

flexible_drones_crazyflie Public

Crazyflie manager nodes and launch support for Flexible Drones.

Python 0Apache-2.0 0 0 0 Updated Jul 2, 2026

flexible_drones Public

An open source framework for multiple heterogeneous drone coordination using ROS 2 action-based interfaces

Python 0Apache-2.0 1 0 0 Updated Jul 2, 2026

flexbe_synthesis Public

Capability-based synthesis pipeline and tutorials for GR(1)-based synthesis of executable FlexBE state machines

Python 0Apache-2.0 0 0 0 Updated Jun 25, 2026

flexbe_synthesis_demo Public

Demonstration of behavior synthesis in FlexBE

Python 0Apache-2.0 0 0 0 Updated May 20, 2026

Navigation Menu

Uh oh!

Uh oh!

Christopher Newport University Robotics

Pinned Loading

Repositories

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

People

Top languages

Uh oh!

Most used topics

Uh oh!