Reliability Analysis Of Autonomous UAV Communication Using Statistical Model Checking

Mohamed Abdelhamid, Ayman A. Atallah, Marwan Ammar, Otmane Aït Mohamed. Reliability Analysis Of Autonomous UAV Communication Using Statistical Model Checking. In 64th IEEE International Midwest Symposium on Circuits and Systems, MWSCAS 2021, Lansing, MI, USA, August 9-11, 2021. pages 340-343, IEEE, 2021. [doi]

Abstract

Abstract is missing.