Dynamic Coverage Path Planning Algorithm for Multi - Stratospheric Airship Formation Based on Deep Reinforcement Learning | IEEE Conference Publication | IEEE Xplore