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]
@inproceedings{RahmanMAD20,
title = {Formal Synthesis of Trajectories for Unmanned Aerial Vehicles to Perform Resilient Surveillance of Critical Power Transmission Lines},
author = {Mohammad Ashiqur Rahman and Rahat Masum and Matthew Anderson and Steven L. Drager},
year = {2020},
doi = {10.1109/ICECCS51672.2020.00019},
url = {https://doi.org/10.1109/ICECCS51672.2020.00019},
researchr = {https://researchr.org/publication/RahmanMAD20},
cites = {0},
citedby = {0},
pages = {103-112},
booktitle = {25th International Conference on Engineering of Complex Computer Systems, ICECCS 2020, Singapore, October 28-31, 2020},
editor = {Yi Li 0002 and Alan Wee-Chung Liew},
publisher = {IEEE},
isbn = {978-1-7281-8558-3},
}