Formal Synthesis of Trajectories for Unmanned Aerial Vehicles to Perform Resilient Surveillance of Critical Power Transmission Lines.

Mohammad Ashiqur Rahman, Rahat Masum, Matthew Anderson, Steven L. Drager

Browse the full ICECCS paper archive.