A survey on verification strategies for intelligent transportation systems

Schmidtke, Hedda R. · Journal of Reliable Intelligent Environments · 2018