Title:
Verifying and Validating Multirobot Missions
Verifying and Validating Multirobot Missions
dc.contributor.author | Lyons, Damian M. | |
dc.contributor.author | Arkin, Ronald C. | |
dc.contributor.author | Jiang, Shu | |
dc.contributor.author | Harrington, Dagan | |
dc.contributor.author | Liu, Tsung-Ming | |
dc.contributor.corporatename | Georgia Institute of Technology. College of Computing | en_US |
dc.contributor.corporatename | Georgia Institute of Technology. School of Interactive Computing | en_US |
dc.contributor.corporatename | Georgia Institute of Technology. Mobile Robot Laboratory | en_US |
dc.contributor.corporatename | Georgia Institute of Technology. Institute for Robotics and Intelligent Machines | en_US |
dc.contributor.corporatename | Fordham University. Dept. of Computer and Information Science | en_US |
dc.date.accessioned | 2014-10-21T17:34:40Z | |
dc.date.available | 2014-10-21T17:34:40Z | |
dc.date.issued | 2014 | |
dc.description.abstract | 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 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.embargo.terms | null | en_US |
dc.identifier.uri | http://hdl.handle.net/1853/52672 | |
dc.language.iso | en_US | en_US |
dc.publisher | Georgia Institute of Technology | en_US |
dc.subject | Autonomous robots | en_US |
dc.subject | Multi-robot missions | en_US |
dc.subject | Multiple waypoint | en_US |
dc.subject | Performance guarantees | en_US |
dc.subject | Waypoint missions | en_US |
dc.title | Verifying and Validating Multirobot Missions | en_US |
dc.type | Text | |
dc.type.genre | Paper | |
dspace.entity.type | Publication | |
local.contributor.author | Arkin, Ronald C. | |
local.contributor.corporatename | College of Computing | |
local.contributor.corporatename | Mobile Robot Laboratory | |
local.contributor.corporatename | Institute for Robotics and Intelligent Machines (IRIM) | |
relation.isAuthorOfPublication | e853e35f-f419-4348-9619-6f0c7abef2c7 | |
relation.isOrgUnitOfPublication | c8892b3c-8db6-4b7b-a33a-1b67f7db2021 | |
relation.isOrgUnitOfPublication | 488966cd-f689-41af-b678-bbd1ae9c01d4 | |
relation.isOrgUnitOfPublication | 66259949-abfd-45c2-9dcc-5a6f2c013bcf |