A formally verified modular decentralized robot control system.

Arthur G. O. Mutambara, Hugh F. Durrant-Whyte

Browse the full IROS paper archive.