Technical Reports

A Mission Programming Environment for Multiple Autonomous Vehicles