Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Zhi Ma
conf.researchr.org general profile
ASE 2025 profile
ASE 2026 profile
FM 2026 profile
Registered user since Fri 15 May 2026
Name:
Zhi Ma
Affiliation:
Xidian University
Contributions
2026
ASE
Author of TLCrafter: Peeling the Layers of Natural Language to Reveal Temporal Logic Specifications within the Tools and Datasets-track
FM
Author of Automated ITL Specification Generation from Industrial Aerospace Requirements within the Industry Day-track
2025
ASE
Author of Bridging Natural Language and Formal Specification - Automated Translation of Software Requirements to LTL via Hierarchical Semantics Decomposition Using LLMs within the Research Papers-track
Share
x
Tue 6 Oct 20:28