Xiaohong Chen 0007, Juan Zhang, Zhi Jin, Min Zhang 0002, Tong Li 0001, Xiang Chen, Tingliang Zhou. Empowering Domain Experts With Formal Methods for Consistency Verification of Safety Requirements. IEEE Transactions on Intelligent Transportation Systems, 24(12):15146-15157, December 2023. [doi]
Abstract is missing.