Simplifying the Formal Verification of Safety Requirements in Zone Controllers Through Problem Frames and Constraint-Based Projection.
Zhengheng YuanXiaohong ChenJing LiuYijun YuHaiying SunTingliang ZhouZhi JinPublished in: IEEE Trans. Intell. Transp. Syst. (2018)