Towards Verifiable Approach to Mission Planning for Multiple UAVs
Path Planning of UAVs in Urban Region Using Pythagorean Hodograph Curves
Kripke Modeling and Model Checking of a Multiple UAV System Monitoring Road Network
Differential Geometric Guidance Based on the Involute of the Target's Trajectory: 3-D Aspects
Co-Operative Unmanned Aerial Vehicle Mapping of Complex Obstacles Using 2-D Splinegon
Contaminant Cloud Boundary Monitoring Using UAV Sensor Swarms AIAA Paper
Autonomous Aerial Vehicle Localisation and Mapping AIAA Paper