The High-Assurance ROS Framework.

André Santos Alcino Cunha Nuno Macedo

Published in: CoRR (2021)

Keyphrases

main contribution
conceptual framework
framework enables
data mining
multimedia
multiresolution
theoretical framework
website
decision trees
user interface
probabilistic model
software engineering
lightweight