Popular repositories

1. simulink simulink Public

   MATLAB 4 2

2. spark-navigation spark-navigation Public

   Robot navigation algorithms implemented in SPARK

   C++ 3

3. publications publications Public

   Publications related to the RIVERAS project

   TeX

4. model_checking model_checking Public

   Verification of stabiity control properties with model checking

   MATLAB

5. fm16-results fm16-results Public

   Robotic assistant case study and results

6. self-preservation self-preservation Public

   A delivery rover being pursued by a drone, with capabilities to react to the threats and without. Resulting data and visual examples of the simulations.

   1