SAFER-HRC: Safety analysis through formal vERification in human-robot collaboration
A Deployment Framework for Formally Verified Human-Robot Interactions
PIROS: Cooperative, Safe and Reconfigurable Robotic Companion for CNC Pallets Load/Unload Stations
Mission Specification Patterns for Mobile Robots: Providing Support for Quantitative Properties