FORMALIZATION OF INTERSTATE TRAFFIC RULES IN TEMPORAL LOGIC
2020 IEEE inteligent vehicles symposium (IV 2020)
2020-01-01
8 pages
Conference paper
English
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
TEMPORAL LOGIC FORMALIZATION OF MARINE TRAFFIC RULES
British Library Conference Proceedings | 2021
|Temporal Logic Formalization of Marine Traffic Rules
IEEE | 2021
|