Sign in
Multiform Logical Time & Space for Specification of Automated Driving Assistance Systems: Work-in-Progress.
Qian Liu
Robert de Simone
Xiaohong Chen
Jing Liu
Published in:
EMSOFT (2020)
Keyphrases
</>
real time
neural network
distributed systems
management system
high dimensional
low dimensional
search space
expert systems
information retrieval
databases
database
metadata
learning algorithm
programming language
building blocks
space time
fully automated