Publications

(2024). Spatial-Temporal Dependency Based Multivariate Time Series Anomaly Detection for Industrial Processes. International Conference on Intelligent Computing.

PDF Cite DOI

(2024). Safety Verification of Advanced Driver Assistance Systems Using Hybrid Automaton Reachability. IEEE International Conference on Systems, Man, and Cybernetics.

Cite