Automatic Verification of Autonomous Robot Missions
Author(s) -
Matthew J O’Brien,
Ronald Arking,
Dagan Harrington,
Damian M. Lyons,
Shu Jiang
Publication year - 2014
Publication title -
smartech repository (georgia institute of technology)
Language(s) - Uncategorized
Resource type - Reports
DOI - 10.21236/ada612440
Subject(s) - robot , computer science , artificial intelligence
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom