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

Maryam Kamali Sven Linker Michael Fisher

Published in: FTSCS (2018)

Keyphrases

space time
decision making
low dimensional
search space
vector space
artificial intelligence
computer vision
information systems
vehicle tracking
formal verification
model checking
parameter space
intelligent vehicles
real time
autonomous vehicles
higher dimensional
pose estimation
decision makers
high dimensional