Merging Probabilistic Data of Multiple Targets Detected by Multiple Sensors
Kripke Modeling and Model Checking of a Multiple UAV System Monitoring Road Network
Verification of Decision Making Behaviour for Heterogeneous Multi-Agent System
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
AIAA-2006-6211 3D Dubins Sets Based Coordinated Path Planning for Swarm of UAVs
A Formal Approach for Decentralised Co-Ordination Among UAVs Using Hybrid Control
Homing Guidance Law for Reducing Sensitivity on Heading Error
Nonlinear Model Predictive Coordinated Standoff Tracking of Moving Ground Vehicle
Co-Operative Unmanned Aerial Vehicle Mapping of Complex Obstacles Using 2-D Splinegon
Flight Control Design for a STT Missile: A Fuzzy LPV Approach
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
Trajectory Modulation Guidance Law for Anti-ship Missiles
Multi-Objective Frequency Loop-Shaping of a Lateral Missile Autopilot