Provably Correct Closed-Loop Control for Multiple Mobile Robot Systems.

Elzbieta Roszkowska

Published in: ICRA (2005)

Keyphrases

mobile robot
provably correct
formal methods
management system
obstacle avoidance
sensory information
data sets
case study
distributed systems
intelligent systems
knowledge based systems
complex systems
path planning
development process
autonomous navigation