A Spatial Logic for Modeling and Verification of Collision-Free Control of Vehicles.

Bingqing Xu, Qin Li

Browse the full ICECCS paper archive.