LLM-Assisted Signal Temporal Logic Generation for Fault Detection in Cyber-Physical Systems
Publisher
IEEE
Date Issued
2026-09
Author(s)
Zech, Philipp
Conference
31st International Conference on Emerging Technologies and Factory Automation (ETFA)
Type
Konferenzbeitrag
