Getting it right the first time: Verification of Behavior-based Multirobot Missions

Abstract

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

Extracted Key Phrases

1 Figure or Table

Cite this paper

@inproceedings{Lyons2014GettingIR, title={Getting it right the first time: Verification of Behavior-based Multirobot Missions}, author={Damian Lyons and Ronald Arkin and Shu Jiang and Dagan Harrington and Matthew O'Brien}, year={2014} }