An Implementation of Linear Temporal Logic for Driving Safety Suitable for the Concept of Local Dynamic Map | IEEE Conference Publication | IEEE Xplore