Mohammad Ashiqur Rahman, Rahat Masum, Matthew Anderson, Steven L. Drager. Formal Synthesis of Trajectories for Unmanned Aerial Vehicles to Perform Resilient Surveillance of Critical Power Transmission Lines. In Yi Li 0002, Alan Wee-Chung Liew, editors, 25th International Conference on Engineering of Complex Computer Systems, ICECCS 2020, Singapore, October 28-31, 2020. pages 103-112, IEEE, 2020. [doi]
Abstract is missing.