High-Level Rigorous Template for Analysing Safety Properties of Self-driving Vehicle Systems.

Fahad Alotaibi Thai Son Hoang Michael J. Butler

Published in: COMPSAC (2022)

Keyphrases

intelligent vehicles
high level
traffic accidents
real time
driver assistance systems
distributed systems
low level
template matching
vehicle detection
autonomous driving
neural network
computer systems
pedestrian detection
traffic monitoring
computer controlled