Safety Verification and Navigation for Autonomous Vehicles Based on Signal Temporal Logic Constraints
WCX SAE World Congress Experience
2023-01-01
ALL-ALL
Conference paper
English
© 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
|