Verification of system-wide safety properties of ROS applications.

Renato Carvalho Alcino Cunha Nuno Macedo André Santos

Published in: IROS (2020)

Keyphrases

wide range
computer vision
medical images
neural network
decision making
multi agent
artificial neural networks
structural properties