A Case Study on Using Probabilistic Verification to Find Failures in a Cooperative Driving Application
暂无分享,去创建一个
[1] Krishan K. Sabnani,et al. Probabilistic verification of communication protocols , 1987, Distributed Computing.
[2] Christel Baier,et al. Principles of model checking , 2008 .
[3] Falko Dressler,et al. Supporting platooning maneuvers through IVC: An initial protocol analysis for the JOIN maneuver , 2014, 2014 11th Annual Conference on Wireless On-demand Network Systems and Services (WONS).
[4] Nicholas F. Maxemchuk,et al. A multiple stack architecture for intelligent vehicles , 2014, 2014 IEEE Intelligent Vehicles Symposium Proceedings.
[5] Nicholas F. Maxemchuk,et al. The Fail-Safe Operation of Collaborative Driving Systems , 2016, J. Intell. Transp. Syst..
[6] Azim Eskandarian,et al. Research advances in intelligent collision avoidance and adaptive cruise control , 2003, IEEE Trans. Intell. Transp. Syst..
[7] Henk Nijmeijer,et al. Introduction to the Special Issue on the 2011 Grand Cooperative Driving Challenge , 2012 .
[8] David H. Shur,et al. An Internet multicast system for the stock market , 2001, TOCS.
[9] Bilin Aksun Güvenç,et al. Cooperative Adaptive Cruise Control Implementation of Team Mekar at the Grand Cooperative Driving Challenge , 2012, IEEE Transactions on Intelligent Transportation Systems.