3 papers
eess.SY2026
Control Synthesis against LTL Specifications with Long-Run Visit Proportion Objectives
Zhiyuan Huang, Zhao Tong, Jiakai Li +2
This paper investigates the path-planning problem for systems required to satisfy a linear temporal logic (LTL) specification while achieving a desired long-run visit proportion. F…
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…