SPECIFYING SAFETY OF AUTONOMOUS VEHICLES IN SIGNAL TEMPORAL LOGIC
IEEE intelligent vehicles symposium
2019-01-01
6 pages
Conference paper
English
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
SAE Technical Papers | 2023
|British Library Conference Proceedings | 2023
|SAFETY AND PERFORMANCE FOR LOGIC DESIGN IN AUTONOMOUS VEHICLES
European Patent Office | 2024
|