Scaling the formal synthesis of supervisory control software for multiple robot systems.

Richard C. Hill Stéphane Lafortune

Published in: ACC (2017)

Keyphrases

control software
mobile robot
management system
expert systems
control system
autonomous robots
human robot interaction
robot navigation
data sets
intelligent systems
knowledge based systems
complex systems
path planning
human robot
dynamic aspects