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

7 August 2023

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

2 / 2 papers shown

Title
Towards Auto-Modeling of Formal Verification for NextG Protocols: A Multimodal cross- and self-attention Large Language Model Approach Jing-Bing Yang Ying Wang 17 5 0 28 Dec 2023
Anonymous Jamming Detection in 5G with Bayesian Network Model Based Inference Analysis Ying Wang Shashank Jere S. Banerjee Lingjia Liu S. Shetty Shehadi Dayekh 28 29 0 28 Nov 2023