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

Authors

Damian M. Lyons, Fordham University
Ronald C. Arkin, Georgia Institute of Technology
Shu Jiang, Georgia Institute of Technology
Dagon Harrington, Fordham University
Matthew O'Brien, Georgia Institute of Technology

Document Type

Article

Disciplines

Computer Engineering | Robotics

Article Number

1048

Publication Date

7-2014

Recommended Citation

Lyons, Damian M.; Arkin, Ronald C.; Jiang, Shu; Harrington, Dagon; and O'Brien, Matthew, "Getting it right the first time: Verification of Behavior-based Multirobot Missions" (2014). Faculty Publications. 39.
https://research.library.fordham.edu/frcv_facultypubs/39

Comments

Robotics Science and Systems, Workshop in Formal Methods in Robotics

This research was conducted at the Fordham University Robotics and Computer Vision Lab. For more information about graduate programs in Computer Science, see http://www.cis.fordham.edu/graduate.html, and the Fordham University Graduate School of Arts and Sciences, see http://www.fordham.edu/gsas.