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

Artur Graczyk Marialena Hadjikosti Andrei Popescu

Published in: iFM (2023)

Keyphrases

main contribution
cooperative
databases

mobile robot
information systems

lightweight
theoretical framework

robot control
multi robot systems