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. 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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.