1.Xu, B. G., Yi, Y. X. and Zhou, M. J., “Current status and prospects of intelligent mobile robot technology,” Rob. Tech. Appl. 2(2), 29–34 (2007).
2.Chabini, I. and Lan, S., “Adaptations of the A* algorithm for the computation of fastest paths in deterministic discrete-time dynamic networks,” Trans. Intell. Transp. Syst. 3(1), 60–74 (2002).10.1109/6979.994796
3.Xu, Y. and Liu, R., “Path planning for mobile articulated robots based on the improved A* algorithm,” Int. J. Adv. Rob. Syst. 14(4), 1–10 (2017).
4.Tu, J. and Yang, S. X., “Genetic algorithm based path planning for a mobile robot,” International Conference on Robotics and Automation, Taipei, Taiwan (2003), pp. 1221–1226.
5.Shi, Y., “Particle swarm optimization: Developments, applications and resources,” Int. Conf. Evol. Comput. 1, 81–86 (2001).
6.Kennedy, J., Particle Swarm Optimization. Encyclopedia of Machine Learning (Springer, Perth, Australia, 2011), pp. 760–766.
7.Fan, X., Luo, X., Yi, S., Yang, S. and Zhang, H., “Optimal path planning for mobile robots based on intensified ant colony optimization algorithm,” International Conference on Robotics, Intelligent Systems and Signal, Changsha, China (2003) pp. 131–136.
8.Xu, W. L., Tso, S. K. and Fung, Y. H., “Sensor-based reactive navigation of a mobile robot through local target switching,” International Conference on Advanced Robotics, Monterey, CA, USA (1997), pp. 361–366.
9.Stentz, A., “The focussed D* algorithm for real-time replanning,” International Joint Conference on Artificial Intelligence, Montreal, Quebec, Canada (1995) pp. 1652–1659.
10.Qureshi, A. H. and Ayaz, Y., “Intelligent bidirectional rapidly-exploring random trees for optimal motion planning in complex cluttered environments,” Rob. Autonom. Syst. 68, 1–11 (2015).10.1016/j.robot.2015.02.007
11.Zhang, B. T., Liu, Y., Lu, Q. and Wang, J., “A path planning strategy for searching the most reliable path in uncertain environments,” Int. J. Adv. Rob. Syst. 13(5), 1–9 (2016).
12.Wei, C. Y. and Ni, F. S., “Tabu temporal difference learning for robot path planning in uncertain environments,” Lect. Notes Comput. Sci. 123–134 (Springer, Cham, 2018).
13.Deepak, N. S., Wei, Q. T. and Pierre, F. J., “Stochastic time-optimal path-planning in uncertain, strong, and dynamic flows,” Comput. Methods Appl. Mech. Eng. 333, 218–237 (2018).
14.Shlomi, H., Shraga, S. and Nir, S., “Applying probability navigation function in dynamic uncertain environments,” Rob. Autonom. Syst. 87, 237–246 (2017).
15.Bacchus, F. and Kabanza, F., “Planning for temporally extended goals,” Ann. Math. Artif. Intell. 22, 5–27 (1998).10.1023/A:1018985923441
16.Xinyi, Y., Hao, C., Yongkui, G., Cheng, C., Linlin, O. and Li, Y., “Path planing of warehouse robots based on linear temporal logic,” Chin Hig. Technol. Lett. 26(1), 16–23 (2016).
17.Xiao, Y. T., Lin-Lin, O. and Li, Y., “Optimal patrolling path planning via linear temporal logic,” Acta Autom. Sin. 40(10), 2126–2133 (2014).
18.Guo, M., Johansson, K. H. and Dimarogonas, D. V., “Motion and action planning under LTL specifications using navigation functions and action description language,” International Conference on Intelligent Robots and Systems, Tokyo, Japan (2013) pp. 240–245.
19.Leahy, K. J., Aksaray, D. and Belta, C., “Informative path planning under temporal logic constraints with performance guarantees,” American Control Conference, Seattle, WA, USA (2017) pp. 1859–1865.
20.Kloetzer, M. and Mahulea, C., “LTL planning in dynamic environments,” Int. Fed. Accountants 45, 294–300 (2012).
21.Ayala, A. M., Andersson, S. B. and Belta, C., “Temporal logic motion planning in unknown environments,” International Conference on Intelligent Robots and Systems, Tokyo, Japan (2013) pp. 5279–5284.
22.Xu, N., Li, J., Niu, Y. and Shen, L., “An LTL-based motion and action dynamic planning method for autonomous robot,” Int. Fed. Accountants. Ifac PapersOnLine. 49, 91–96 (2016).10.1016/j.ifacol.2016.07.095
23.Wang, H., Yu, Y. and Yuan, Q., “Application of Dijkstra algorithm in robot path-planning,” Second International Conference on Mechanic Automation and Control Engineering, Inner Mongolia, China (2011) pp. 1067–1069.10.1109/MACE.2011.5987118
24.Sheng-qun, C. and Lin-fei, D., “Applied analysis of Dijkstra algorithm and A-star algorithm in the intelligent guiding,” J. Chongqing Univ. Sci. Technol. (Natural Sciences Edition) (2010), pp. 1673–1980.
25.Nannicini, G., Delling, D., Liberti, L. and Schultes, D., “Bidirectional A Search for time-dependent fast paths,” J. Am. Chem. Soc. 136(24), 8626–8641 (2014).
26.Soltani, R., Tawfik, H., Goulermas, J. Y. and Fernando, T., “Path planning in construction sites: Performance evaluation of the Dijkstra, A *, and GA search algorithms,” Adv. Eng. Inf. 16, 291–303 (2002).10.1016/S1474-0346(03)00018-1
27.Yao, J., Lin, C., Xie, X. and Wang, A. J., “Path planning for virtual human motion using improved A* star algorithm,” Seventh International Conference on Information Technology, Las Vegas, NV, USA (2010), pp. 53–58.
28.Smith, S. L., Tůmová, J., Belta, C. and Rus, D., “Optimal path planning under temporal logic constraints,” International Conference on Intelligent Robots and Systems, Taipei, Taiwan (2010) pp. 3288–3293.
29.Emerson, E. A., “Temporal and modal logic,” Handb. Theor. Comput. Sci. 995–1072 (Elsevier, Amsterdam, Netherlands, 1990).
30.Gastin, P. and Oddoux, D., “Fast LTL to Büchi automata translation,” International Conference on Computer Aided Verification, Paris, France (2001) pp. 53–65.10.1007/3-540-44585-4_6
31.Smith, S. L., Tůmová, J., Belta, C. and Rus, D., “Optimal path planning for surveillance with temporal-logic constraints,” Int. J. Rob. Res. 30(14), 1695–1708 (2011).10.1177/0278364911417911
32.Hart, P. E., Nilsson, N. J. and Raphael, B., “A formal basis for the heuristic determination of minimum cost paths,” IEEE Trans. Syst. Sci. Cybern. 4, 100–107 (1968).10.1109/TSSC.1968.300136