Show simple item record

dc.contributor.authorLyons, Damian M.
dc.contributor.authorArkin, Ronald C.
dc.contributor.authorJiang, Shu
dc.contributor.authorHarrington, Dagan
dc.contributor.authorLiu, Tsung-Ming
dc.date.accessioned2014-10-21T17:34:40Z
dc.date.available2014-10-21T17:34:40Z
dc.date.issued2014
dc.identifier.urihttp://hdl.handle.net/1853/52672
dc.description.abstractWe 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 a real-world environment, will hold within a threshold probability. In this paper we demonstrate its utility for verifying multirobot missions, in particular a bounding overwatch mission.en_US
dc.language.isoen_USen_US
dc.publisherGeorgia Institute of Technologyen_US
dc.subjectAutonomous robotsen_US
dc.subjectMulti-robot missionsen_US
dc.subjectMultiple waypointen_US
dc.subjectPerformance guaranteesen_US
dc.subjectWaypoint missionsen_US
dc.titleVerifying and Validating Multirobot Missionsen_US
dc.typePaperen_US
dc.contributor.corporatenameGeorgia Institute of Technology. College of Computingen_US
dc.contributor.corporatenameGeorgia Institute of Technology. School of Interactive Computingen_US
dc.contributor.corporatenameGeorgia Institute of Technology. Mobile Robot Laboratoryen_US
dc.contributor.corporatenameGeorgia Institute of Technology. Institute for Robotics and Intelligent Machinesen_US
dc.contributor.corporatenameFordham University. Dept. of Computer and Information Scienceen_US
dc.embargo.termsnullen_US


Files in this item

Thumbnail

This item appears in the following Collection(s)

  • Mobile Robot Laboratory Publications [187]
    Papers, pre/post-prints, and presentations by faculty and students in the Georgia Tech Mobile Robot Laboratory.
  • Mobile Robot Laboratory [187]
    Papers, pre/post-prints, and presentations by faculty and students in the Georgia Tech Mobile Robot Laboratory.

Show simple item record