2 papers
eess.SY2026
Existential Opacity for Discrete-Event Systems with State Observations
Zhiyuan Huang, Zhao Tong, Jiakai Li +1
Opacity is a fundamental system property for confidentiality in discrete-event systems (DES). Classical opacity is typically defined under event-based observations, requiring that…
cs.LO2025
Automatic Generation of Safety-compliant Linear Temporal Logic via Large Language Model: A Self-supervised Framework
Junle Li, Siqi Chen, Jiakai Li +2
Converting high-level tasks described by natural language into formal specifications like Linear Temporal Logic (LTL) is a key step towards providing formal safety guarantees over…