PoF: Proof-of-Following for Vehicle Platoons.

Ziqi Xu Jingcheng Li Yanjun Pan Loukas Lazos Ming Li Nirnimesh Ghose

Published in: CoRR (2021)

Keyphrases

pedestrian detection
vehicle detection
vehicle speed
real time
theorem proving
autonomous vehicles
traffic surveillance
vehicle tracking
traffic monitoring
transport systems
natural deduction
linear logic
traffic management
multi agent
search engine
artificial intelligence
neural network
databases