Author:
Rizaldi Albert,Immler Fabian,Althoff Matthias
Publisher
Springer International Publishing
Reference26 articles.
1. Aghabayk, K., Sarvi, M., Young, W.: A state-of-the-art review of car-following models with particular considerations of heavy vehicles. Transport Rev. 35(1), 82–105 (2015)
2. Althoff, M., Dolan, J.: Online verification of automated road vehicles using reachability analysis. IEEE Trans. Robot. 30(4), 903–918 (2014)
3. American Prosecutors Research Institute: Crash Reconstruction Basics for Prosecutors: Targeting Hardcore Impaired Drivers. Author (2003)
4. Chen, C., Liu, L., Du, X., Pei, Q., Zhao, X.: Improving driving safety based on safe distance design in vehicular sensor networks. Int. J. Distrib. Sens. Netw. 2012(469067), 13 (2012)
5. Eberl, M.: A decision procedure for univariate real polynomials in Isabelle/HOL. In: Proceedings of the 2015 Conference on Certified Programs and Proofs. CPP 2015, Mumbai, India, pp. 75–83. ACM, New York (2015). http://doi.acm.org/10.1145/2676724.2693166
Cited by
29 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献