Space-time Constraint Resources Modeling and Safety Verification Method for Automated Vehicles.

Yi Zhu Xiaoying Chen Yu Zhao

Published in: DSA (2022)

Keyphrases

space time
verification method
spatial and temporal
video sequences
spatio temporal
dynamic scenes
video representation
model checking
motion patterns
input video
super resolution reconstruction
temporal logic
trajectory data
scan statistic
traffic accidents
multiple view geometry