Model Checking Collision Avoidance of Nonlinear Autonomous Vehicles.

Rong Gu, Cristina Seceleanu, Eduard Enoiu, Kristina Lundqvist

Browse the full FM paper archive.