Jingda Yang, Ying Wang. Toward Auto-Modeling of Formal Verification for NextG Protocols: A Multimodal Cross- and Self-Attention Large Language Model Approach. IEEE Access, 12:27858-27869, 2024. [doi]
@article{YangW24-1, title = {Toward Auto-Modeling of Formal Verification for NextG Protocols: A Multimodal Cross- and Self-Attention Large Language Model Approach}, author = {Jingda Yang and Ying Wang}, year = {2024}, doi = {10.1109/ACCESS.2024.3366803}, url = {https://doi.org/10.1109/ACCESS.2024.3366803}, researchr = {https://researchr.org/publication/YangW24-1}, cites = {0}, citedby = {0}, journal = {IEEE Access}, volume = {12}, pages = {27858-27869}, }