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