Verification of Decision Making Behaviour for Heterogeneous Multi-Agent System
Kripke Modeling and Model Checking of a Multiple UAV System Monitoring Road Network
Sensing and Autonomous Urban Reconnaissance Using Unmanned Robotic Vehicles
Towards Verifiable Approach to Mission Planning for Multiple UAVs
Modeling and Simulation of Fault Tolerant Strategies for A Quad Rotor UAV
A Formal Approach for Decentralised Co-Ordination Among UAVs Using Hybrid Control
AIAA-2006-6211 3D Dubins Sets Based Coordinated Path Planning for Swarm of UAVs
Homing Guidance Law for Reducing Sensitivity on Heading Error
Nonlinear Model Predictive Coordinated Standoff Tracking of Moving Ground Vehicle
Flight Control Design for a STT Missile: A Fuzzy LPV Approach
Co-Operative Unmanned Aerial Vehicle Mapping of Complex Obstacles Using 2-D Splinegon
Differential Geometric Guidance Based on the Involute of the Target's Trajectory: 3-D Aspects
Cooperative Road-Network Search Planning of Multiple UAVs Using Dubins Paths
Multi-Objective Frequency Loop-Shaping of a Lateral Missile Autopilot
Trajectory Modulation Guidance Law for Anti-ship Missiles