Modular Verification of Vehicle Platooning with Respect to Decisions, Space and Time.

Maryam Kamali Sven Linker Michael Fisher

Published in: CoRR (2018)

Keyphrases

decision makers
decision making
search space
higher dimensional
model checking
low dimensional
modular structure
verification method
making decisions
face verification
decision process
pedestrian detection
real time
three dimensional
feature selection
information systems
learning algorithm