A Framework for Verifying the Collision Freeness of Collaborative Robots (Work in Progress). - Artur Graczyk; Marialena Hadjikosti; Andrei Popescu 001 (iFM, 2023)