Drona-Org

Drona Public
Drona is a programming framework for building safe robotics systems

C++ 26 7 2 0 Updated Apr 29, 2022
SOTERonROS Public
SOTER on ROS is a run-time assurance framework for building safe distributed mobile robotic (DMR) systems on top of the Robot Operating System (ROS).

C# 0 1 0 0 Updated Jun 23, 2020
Q Public
The Q programming language.

C# 0 MIT 143 0 0 Updated Jul 13, 2017
Drona-DMR Public
Drona framework used for build distributed robotics systems

C 6 MIT 1 1 0 Updated May 4, 2017
Drona-DMR-Experiments Public
Experiments using Drona tool

0 MIT 0 0 0 Updated Oct 3, 2016
ComplanV2 Public
Complan is a prototype tool for compositional multi-robot motion planning for complex specification.

C++ 1 MIT 0 2 0 Updated Aug 5, 2015

Pinned