Reactive Control Meets Runtime Verification: A Case Study of Navigation.

Dogan Ulus Calin Belta

Published in: RV (2019)

Keyphrases

control system
test bed
case study
control method
autonomous vehicles
autonomous navigation
databases
artificial intelligence
data acquisition
control strategy
robotic systems
process control
robot control
underwater vehicles