TY  - RPRT
TI  - Automated Extraction of Protocol State Machines from 3GPP Specifications with Domain-Informed Prompts and LLM Ensembles
AU  - Miao Zhang
AU  - Runhan Feng
AU  - Hongbo Tang
AU  - Yu Zhao
AU  - Jie Yang
AU  - Hang Qiu
AU  - Qi Liu
PY  - 2025
UR  - https://arxiv.org/abs/2510.14348
ID  - 2510.14348
ER  -