RoboCert: Property Specification in Robotics.

Matt Windsor Ana Cavalcanti

Published in: ICFEM (2022)

Keyphrases

artificial intelligence
computer vision
real time
autonomous navigation
educational robotics
data sets
databases
neural network
decision making
image processing
multi agent systems
machine intelligence
formal methods
specification language
industrial robots