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]
@inproceedings{XuL16-20, title = {A Spatial Logic for Modeling and Verification of Collision-Free Control of Vehicles}, author = {Bingqing Xu and Qin Li}, year = {2016}, doi = {10.1109/ICECCS.2016.014}, url = {http://doi.ieeecomputersociety.org/10.1109/ICECCS.2016.014}, researchr = {https://researchr.org/publication/XuL16-20}, cites = {0}, citedby = {0}, pages = {33-42}, booktitle = {21st International Conference on Engineering of Complex Computer Systems, ICECCS 2016, Dubai, United Arab Emirates, November 6-8, 2016}, editor = {Hai Wang and Mounir Mokhtari}, publisher = {IEEE Computer Society}, isbn = {978-1-5090-5527-2}, }