Towards Auto-Modeling of Formal Verification for NextG Protocols: A Multimodal cross- and self-attention Large Language Model Approach

no code implementations • 28 Dec 2023 • Jingda Yang, Ying Wang

This paper introduces Auto-modeling of Formal Verification with Real-world Prompting for 5G and NextG protocols (AVRE), a novel system designed for the formal verification of Next Generation (NextG) communication protocols, addressing the increasing complexity and scalability challenges in network protocol design and verification.

Language Modelling Large Language Model

From Ambiguity to Explicitness: NLP-Assisted 5G Specification Abstraction for Formal Analysis

no code implementations • 7 Aug 2023 • Shiyu Yuan, Jingda Yang, Sudhanshu Arya, Carlo Lipizzi, Ying Wang

Our work is proof of concept for an efficient procedure in performing formal analysis for largescale complicate specification and protocol analysis, especially for 5G and nextG communications.

valid

Distributed 3D-Beam Reforming for Hovering-Tolerant UAVs Communication over Coexistence: A Deep-Q Learning for Intelligent Space-Air-Ground Integrated Networks

no code implementations • 18 Jul 2023 • Sudhanshu Arya, Yifeng Peng, Jingda Yang, Ying Wang

By augmenting the system with the impairments due to hovering and rotational motion, we show that the proposed DQN algorithm can reform the beam in real-time with negligible error.

Q-Learning Reinforcement Learning (RL)