Bingqing Xu, Qin Li. A Spatial Logic for Modeling and Verification of Collision-Free Control of Vehicles. In Hai Wang, Mounir Mokhtari, editors, 21st International Conference on Engineering of Complex Computer Systems, ICECCS 2016, Dubai, United Arab Emirates, November 6-8, 2016. pages 33-42, IEEE Computer Society, 2016. [doi]
Abstract is missing.