Yuxuan Wang, Charlie Wingate, Jingshu Chen. ForDeen: Towards Formal Design for Ensuring Reliable UAV-Assisted Multi-Access Edge Computing: A Scenario-Based Approach. In IEEE International Conference on Mobility, Operations, Services and Technologies, MOST 2023, Detroit, MI, USA, May 17-19, 2023. pages 227-228, IEEE, 2023. [doi]
Abstract is missing.