C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
An Implementation of Linear Temporal Logic for Driving Safety Suitable for the Concept of Local Dynamic Map.
Arvind Kumar
Hiroaki Wagatsuma
Published in:
SII (2021)
Keyphrases
</>
linear temporal logic
temporal logic
machine learning
traffic accidents
knowledge base
high level
orders of magnitude
model checking
intelligent vehicles
bounded model checking