Safety Verification and Navigation for Autonomous Vehicles Based on Signal Temporal Logic Constraints
WCX SAE World Congress Experience
01.01.2023
ALL-ALL
Aufsatz (Konferenz)
Englisch
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
SAE Technical Papers | 2023
|SPECIFYING SAFETY OF AUTONOMOUS VEHICLES IN SIGNAL TEMPORAL LOGIC
British Library Conference Proceedings | 2019
|Anytime Safety Verification of Autonomous Vehicles
IEEE | 2018
|