1. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);L Iocchi,2001
2. Kim, D.H., Kim, Y.J., Kim, K.C., Kim, J.H., Vadakkepat, P.: Vector field based path planning and petri-net based role selection mechanism with Q-learning for the soccer robot system. Intell. Autom. Soft Comput. 6(1), 75–87 (2000)
3. Xu, L., Tian, C., Duan, Z., Hongwei, D.: Planning with spatio-temporal search control knowledge. IEEE Trans. Knowl. Data Eng. 30(10), 1915–1928 (2018)
4. Wang, H., Duan, Z., Tian, C.: Model checking multi-agent systems with APTL. Ad Hoc Sens. Wirel. Netw. 37(1–4), 35–52 (2017)
5. Wang, H.Y., Duan, Z.H., Tian, C., Ruan, J., Xue, B.: Tool for checking satisfiability of APTL formulas. J. Softw. 29(6), 1635–1646 (2018). (in Chinese).
http://www.jos.org.cn/1000-9825/5459.htm