Verifiable Composition of Dynamics and Control Algorithms for Robot Motion (VeriComp)VeriComp proposes domain abstractions and verifiable properties at the function and algorithm levels to enable performance and safety analysis of robot motion applications.
Usability in Work SafetyDevelopment of an interactive virtual environment to evaluate usability tests in work safety applications