A Hierarchical Hybrid-Intelligence Architecture with Consensus, Debate, and Reflection for High-Fidelity NL-to-PPTL Conversion. - Tianchi Zhang 008; Jinhui Lyu; Yong Cai 002 (APSEC, 2025)

DSVA: An Iterative Refinement Multi-Agent Framework for NL-to-MTL Translation. - Jinhui Lyu; Ye Wu; Yong Cai 002 (IEEE Access, 2026)