Published June 15, 2015
| Version v0.1
Software
Open
modified tum_ardrone: Prototype Version for TAROS 2015
Authors/Creators
- 1. University of Oxford
Description
Prototype version of the modified tum_ardrone package as presented in "From AgentSpeak to C for Safety Considerations in Unmanned Aerial Vehicles" by Samuel Bucheli, Daniel Kroening, Ruben Martins, and Ashutosh Natraj at TAROS 2015. For more information see http://www.cprover.org/UAVs/TAROS2015/
Files
tum_ardrone-v0.1.zip
Files
(8.7 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:e2958300cebfdf365c087f7bc3a83f59
|
8.7 MB | Preview Download |
Additional details
Related works
- Is supplement to
- https://github.com/OxfordUAVAutonomy/tum_ardrone/tree/v0.1 (URL)