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
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
Verifying Performance for Autonomous Robot Missions with Uncertainty
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
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
Designing Autonomous Robot Missions with Performance Guarantees