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
Probabilistic Verification of Multi-robot Missions in Uncertain Environments
Verifying and Validating Multirobot Missions
Performance Verification for Behavior-based Robot Missions
Getting it Right the First Time: Predicted Performance Guarantees from the Analysis of Emergent Behavior in Autonomous and Semi-autonomous Systems
Performance Verification for Behavior-Based Robot Missions
Getting it Right the First Time: Verification of Behavior-based Multirobot Missions
Getting it Right the First time: Robot Mission Guarantees in the Presence of Uncertainty
Automatic Verification of Autonomous Robot Missions
Performance Guarantees for C - WMD Robot Missions
Characterizing Performance Guarantees for Multiagent, Real-Time Systems Operating in Noisy and Uncertain Environments