Organizational Unit:
Mobile Robot Laboratory
Permanent Link
Research Organization Registry ID
Description
Previous Names
Parent Organization
Parent Organization
Includes Organization(s)
ArchiveSpace Name Record
Publication Search Results
Formal Performance Guarantees for Behavior-Based Localization Missions
Probabilistic Verification of Multi-robot Missions in Uncertain Environments
Performance Verification for Behavior-Based Robot Missions