Formal Synthesis of Trajectories for Unmanned Aerial Vehicles to Perform Resilient Surveillance of Critical Power Transmission Lines
Conference
Rahman, Mohammad Ashiqur, Masum, Rahat, Anderson, Matthew et al. (2020). Formal Synthesis of Trajectories for Unmanned Aerial Vehicles to Perform Resilient Surveillance of Critical Power Transmission Lines
. 103-112. 10.1109/ICECCS51672.2020.00019
Rahman, Mohammad Ashiqur, Masum, Rahat, Anderson, Matthew et al. (2020). Formal Synthesis of Trajectories for Unmanned Aerial Vehicles to Perform Resilient Surveillance of Critical Power Transmission Lines
. 103-112. 10.1109/ICECCS51672.2020.00019