A Framework for Verifying the Collision Freeness of Collaborative Robots (Work in Progress).

Artur Graczyk, Marialena Hadjikosti, Andrei Popescu

Browse the full IFM paper archive.