Design and Formal Verification of a Safe Stop Supervisor for an Automated Vehicle

Jonas Krook, Lars J. Svensson, Yuchao Li, Lei Feng, Martin Fabian

Browse the full ICRA paper archive.