PoF: Proof-of-Following for Vehicle Platoons.
Ziqi XuJingcheng LiYanjun PanLoukas LazosMing LiNirnimesh GhosePublished in: NDSS (2022)
Keyphrases
- pedestrian detection
- real time
- mathematical proofs
- vehicle speed
- linear logic
- databases
- automated theorem proving
- theorem prover
- vehicle detection
- traffic management
- traffic accidents
- vehicle tracking
- obstacle detection
- theorem proving
- autonomous vehicles
- object detection
- intelligent vehicles
- case study
- search engine
- traffic surveillance
- transport systems
- machine learning
- geometry theorem proving