Corpus ID: 1578315

Getting it Right the First Time: Verification of Behavior-based Multirobot Missions

@inproceedings{Lyons2014GettingIR,
  title={Getting it Right the First Time: Verification of Behavior-based Multirobot Missions},
  author={D. Lyons and R. Arkin and S. Jiang and D. Harrington and M. O’brien},
  year={2014}
}
  • D. Lyons, R. Arkin, +2 authors M. O’brien
  • Published 2014
  • Engineering
  • Position Paper Getting it right the first time: Verification of Behavior-based Multirobot Missions Damian Lyons, Ronald Arkin, Shu Jiang, Dagan Harrington and Matthew O'Brien Dept. Of Computer & Information Science, Fordham University, Bronx NY 10458 School of Interactive Computing, Georgia Institute of Technology, Atlanta GA 30332 {dlyons,dharrington5}@fordham.edu, {arkin, sjiang, mjobrien}@cc.gatech.edu 

    Figures from this paper.

    References

    Publications referenced by this paper.
    SHOWING 1-10 OF 21 REFERENCES
    Multiagent Mission Specification and Execution
    • 291
    Introduction to the ISO Specification Language LOTOS
    • 1,522
    • Open Access
    Software Model Checking
    • 227
    • Open Access
    Designing autonomous robot missions with performance guarantees
    • 23
    • Open Access
    Getting it right the first time: Robot mission guarantees in the presence of uncertainty
    • 16
    • Open Access
    Specification and planning of UAV missions: a Process Algebra approach
    • 29
    • Open Access
    Probabilistic Analysis of Correctness of High-Level Robot Behavior with Sensor Error
    • 38
    • Open Access
    Verifying Performance for Autonomous Robot Missions with Uncertainty
    • 20
    • Open Access
    Towards performance guarantees for emergent behavior
    • 22
    • Open Access