Giters
Drona-Org

Drona-Org

Geek Repo

Github PK Tool:Github PK Tool

Drona-Org's repositories

Drona

Drona is a programming framework for building safe robotics systems

Language:C++Stargazers:29Issues:12Issues:3

Drona-DMR

Drona framework used for build distributed robotics systems

Language:CLicense:MITStargazers:6Issues:8Issues:3

ComplanV2

Complan is a prototype tool for compositional multi-robot motion planning for complex specification.

Language:C++License:MITStargazers:1Issues:3Issues:4

Drona-DMR-Experiments

Experiments using Drona tool

License:MITStargazers:0Issues:7Issues:0

Q

The Q programming language.

Language:C#License:MITStargazers:0Issues:3Issues:0

SOTERonROS

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).

Language:C#Stargazers:0Issues:3Issues:0