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