Skip to search formSkip to main contentSkip to account menu
Automatic Verification of Autonomous Robot Missions
TLDR
This paper overviews a software system for the verification of behavior-based controllers in context of chosen hardware and environmental models and demonstrates accurate verification for a mission related to the search for a biohazard.
View via Publisher
Probabilistic Verification of Multi-robot Missions in Uncertain Environments
TLDR
A novel method to extend the Bayesian Network formulation to reason about random variables with different subpopulations is introduced to address the challenge of representing the effects of multiple sensory histories when verifying a robot mission.
View on IEEE
Verifying and validating multirobot missions
We have developed an approach that can be used by mission designers to determine whether or not a performance guarantee for their mission software, when carried out under the uncertain conditions of…
View on IEEE
Performance guarantees for C-WMD robot missions
TLDR
A novel verification framework in providing performance guarantees for behavior-based and probabilistic robot algorithms in complex real-world environments in order to ensure robots' success in carrying out C-WMD missions.
View on IEEE
Getting it Right the First Time: Verification of Behavior-based Multirobot Missions
TLDR
Getting it right the first time: Verification of Behavior-based Multirobot Missions is demonstrated in real-time with real-world examples of cooperation between robots and humans.
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy, Terms of Service, and Dataset License