• Login
    View Item 
    •   SMARTech Home
    • College of Computing (CoC)
    • Georgia Tech Mobile Robot Lab (GT-MRL)
    • Mobile Robot Laboratory Publications
    • View Item
    •   SMARTech Home
    • College of Computing (CoC)
    • Georgia Tech Mobile Robot Lab (GT-MRL)
    • Mobile Robot Laboratory Publications
    • View Item
    JavaScript is disabled for your browser. Some features of this site may not work without it.

    Verifying and Validating Multirobot Missions

    Thumbnail
    View/Open
    GIRTFT_IROS_2014_v5.pdf (893.1Kb)
    Date
    2014
    Author
    Lyons, Damian M.
    Arkin, Ronald C.
    Jiang, Shu
    Harrington, Dagan
    Liu, Tsung-Ming
    Metadata
    Show full item record
    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.
    URI
    http://hdl.handle.net/1853/52672
    Collections
    • Mobile Robot Laboratory [187]
    • Mobile Robot Laboratory Publications [187]

    Browse

    All of SMARTechCommunities & CollectionsDatesAuthorsTitlesSubjectsTypesThis CollectionDatesAuthorsTitlesSubjectsTypes

    My SMARTech

    Login

    Statistics

    View Usage StatisticsView Google Analytics Statistics
    facebook instagram twitter youtube
    • My Account
    • Contact us
    • Directory
    • Campus Map
    • Support/Give
    • Library Accessibility
      • About SMARTech
      • SMARTech Terms of Use
    Georgia Tech Library266 4th Street NW, Atlanta, GA 30332
    404.894.4500
    • Emergency Information
    • Legal and Privacy Information
    • Human Trafficking Notice
    • Accessibility
    • Accountability
    • Accreditation
    • Employment
    © 2020 Georgia Institute of Technology