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

Authors

Ronald C. Arkin, Georgia Institute of Technology
Damian M. Lyons, Fordham University

Document Type

Article

Disciplines

Computer Engineering | Robotics

Article Number

1049

Publication Date

7-2014

Recommended Citation

Arkin, Ronald C. and Lyons, Damian M., "Getting it right the first time: Verification of Autonomous Behavior-based Multirobot Missions" (2014). Faculty Publications. 40.
https://research.library.fordham.edu/frcv_facultypubs/40

Comments

Robotics Science and Systems, Workshop in Formal Methods in Robotics,Berkeley CA

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.