Pinned Loading

1. drones_gazebo drones_gazebo Public

   Collision avoidance implementation for autonomous drones

   C++ 2 3

2. STL-AEP STL-AEP Public

   Forked from danielduberg/STL-AEP

   Guiding Efficient 3D Exploration with Temporal Logic

   C++

3. BT_eventb BT_eventb Public

   An Event-b formalization of Behavior tree

   1

4. QC_simulator QC_simulator Public

   A simulation of a quantum computer

   Python

5. Safe-RL-2 Safe-RL-2 Public

   Implementation for Safe RL using ray and rllib framework