S Dai, J Hite, T Masuda, Y Kashiba… - 2017 IEEE …, 2017 - ieeexplore.ieee.org
Reliability and safety are important properties in the development of complex cyber-physical
systems such as autonomous vehicles. Achieving a reliable autonomous vehicle is a …