Mi Chen, Lynda Mokdad, Jalel Ben-Othman, Jean-Michel Fourneau. Probabilistic Model Checking for Unconfirmed Transmission in LoRaWAN on the MAC Layer. In IEEE Global Communications Conference, GLOBECOM 2023, Kuala Lumpur, Malaysia, December 4-8, 2023. pages 2457-2462, IEEE, 2023. [doi]
Abstract is missing.