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.
Robotic assistant case study and results
Verification of stabiity control properties with model checking
Publications related to the RIVERAS project
Robot navigation algorithms implemented in SPARK