A Formally Verified Checker of the Safe Distance Traffic Rules for Autonomous Vehicles
NASA formal methods symposium
01.01.2016
16 pages
Aufsatz (Konferenz)
Unbekannt
© Metadata Copyright the British Library Board and other contributors. All rights reserved.