Tom Wray, Ying Wang. PAVE++ Demo: Cross-Layer Formal Verification and OTA Validation for UAV Communications. In IEEE Military Communications Conference, MILCOM 2025, Los Angeles, CA, USA, October 6-10, 2025. pages 915-916, IEEE, 2025. [doi]
Abstract is missing.