Author:
Lv Ying,Sun Liangliang,Li Haomiao,Hu Hongyu,He Lei
Publisher
Springer Nature Singapore
Reference10 articles.
1. Karoui, O., Khalgui, M., Koubâa, A., et al.: Dual mode for vehicular platoon safety: simulation and formal verification. Inf. Sci. 402, 216–232 (2017)
2. Hart, P.E., Nilsson, N.J., Raphael, B.: A formal basis for the heuristic determination of minimum cost paths. IEEE Trans. Syst. Sci. Cybern. 4(2), 100–107 (1968)
3. Stentz, A.: Optimal and efficient path planning for partially known environments. In: Proceedings of the 1994 IEEE International Conference on Robotics and Automation, pp. 3310–3317 (1994)
4. Kavraki, L.E., Svestka, P., Latombe, J.C., et al.: Probabilistic roadmaps for path planning in high-dimensional configuration spaces. IEEE Trans. Robot. Autom. 12(4), 566–580 (1996)
5. LaValle, S.M., Kuffner Jr., J.J.: Randomized kinodynamic planning. Int. J. Robot. Res. 20(5), 378−400 (2001)