The High-Assurance ROS Framework.

André Santos Alcino Cunha Nuno Macedo

Published in: RoSE@ICSE (2021)

Keyphrases

main contribution
neural network
access control
computational model
framework enables
data mining
computer vision
information systems
website
data model
probabilistic model
distributed systems
computational framework
high assurance