Is verification a requisite for safe adaptive robots?

Shashank Pathak Giorgio Metta Armando Tacchella

Published in: SMC (2014)

Keyphrases

cooperative
mobile robot
database
reinforcement learning
model checking
robotic systems
adaptive systems
signature verification
adaptive filtering
databases
machine learning
multiscale
temporal logic
face verification
autonomous systems
human robot