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