Hai Zhu 0001, Hengzhou Xu, Xingsi Xue, Byung-Gyu Kim, Mengmeng Xu. Temporal Behavior Analysis and Synthesis for Safety-Critical Transportation Cyber-Physical Systems: A Compositional Approach. IEEE Transactions on Intelligent Transportation Systems, 26(9):14132-14143, September 2025. [doi]
Abstract is missing.