Publications

Journal Articles

DSVA: An Iterative Refinement Multi-Agent Framework for NL-to-MTL Translation

Published in IEEE Access, 2026

This paper proposes DSVA, an iterative refinement multi-agent framework for translating natural language requirements into Metric Temporal Logic (MTL), leveraging retrieval-augmented generation and large language models for formal specification in real-time systems.

Recommended citation: J. Lyu, Y. Wu and Y. Cai, "DSVA: An Iterative Refinement Multi-Agent Framework for NL-to-MTL Translation," IEEE Access, vol. 14, pp. 28457-28477, 2026, doi: 10.1109/ACCESS.2026.3665806.
Download Paper

Paper Title Number 3

Published in Journal 1, 2015

This paper is about the number 3. The number 4 is left for future work.

Recommended citation: Your Name, You. (2015). "Paper Title Number 3." Journal 1. 1(3).
Download Paper | Download Slides

Paper Title Number 2

Published in Journal 1, 2010

This paper is about the number 2. The number 3 is left for future work.

Recommended citation: Your Name, You. (2010). "Paper Title Number 2." Journal 1. 1(2).
Download Paper | Download Slides

Paper Title Number 1

Published in Journal 1, 2009

This paper is about the number 1. The number 2 is left for future work.

Recommended citation: Your Name, You. (2009). "Paper Title Number 1." Journal 1. 1(1).
Download Paper | Download Slides | Download Bibtex

Conference Papers

A Hierarchical Hybrid-Intelligence Architecture with Consensus, Debate, and Reflection for High-Fidelity NL-to-PPTL Conversion

Published in 2025 32nd Asia-Pacific Software Engineering Conference (APSEC), 2025

This paper proposes a hierarchical hybrid-intelligence multi-agent architecture combining consensus, debate, and reflection mechanisms for high-fidelity translation of natural language requirements into Projected Propositional Temporal Logic (PPTL).

Recommended citation: T. Zhang, J. Lyu and Y. Cai, "A Hierarchical Hybrid-Intelligence Architecture with Consensus, Debate, and Reflection for High-Fidelity NL-to-PPTL Conversion," 2025 32nd Asia-Pacific Software Engineering Conference (APSEC), Macau, China, 2025, pp. 69-80, doi: 10.1109/APSEC66846.2025.00018.
Download Paper

Jinhui Lyu