Tools

Implemented by me:

• SAFER-HRC: Safety Assessment through Formal vERification in Human-Robot Collaboration.

Collaborated on the implementation:

• ENFORCE: FM-based Mission Planner for Robotic Applications.
• RoboMAX: Robotic Mission Adaptation eXemplars.

Co-advised by me:

• COSIM-HRC: Co-Simulation of Human-Robot Collaboration: from Temporal Logic to 3D Simulation.

• HRC-TEAM: A Model-driven Approach to Formal Verification and Deployment of Collaborative Robotic Applications.