Qi Zhang, Weidong Tang, and Meiling Liu


  1. [1] G.Z. Yang, R.J. Full, N. Jacobstein, P. Fischer, J. Bellingham,H. Choset, and R. Taylor, Ten robotics technologies ofthe year, Science Robotics, 4(26), 2019, eaaw1826, DOI:10.1126/scirobotics.aaw1826.
  2. [2] L. Qiao, Y. Li, D. Chen, S. Serikawa, M. Guizani,and Z. Lv, A survey on 5G/6G, AI, and robotics,Computers and Electrical Engineering, 95, 2021, 107372.
  3. [3] A. Afzal, D.S. Katz, C. Le Goues, and C.S. Timperley, Sim-ulation for robotics test automation: Developer perspectives,Proc. 14th IEEE Conf. on Software Testing, Verification andValidation (ICST), Porto de Galinhas, 2021, 263–274, DOI:10.1109/ICST49551.2021.00036.
  4. [4] X. Wang, Z. Xia, X. Zhou, J. Wei, X. Gu, and H. Yan, Collision-free path planning for arc welding robot based on IDA-DEalgorithm, International Journal of Robotics and Automation,37(6), 2022, 476–485, DOI: 10.2316/J.2022.206-0611.
  5. [5] I. P´erez-Hurtado, M. ´A. Mart´ınez-del-Amor, G. Zhang, F.Neri, and M.J. P´erez-Jim´enez, A membrane parallel rapidly-exploring random tree algorithm for robotic motion planning,Integrated Computer-Aided Engineering, 27(2), 2020, 121–138,DOI: 10.3233/ICA-190616.
  6. [6] N. Kalra and S.M. Paddock, Driving to safety: Howmany miles of driving would it take to demonstrateautonomous vehicle reliability? Transportation ResearchPart A: Policy and Practice, 94, 2016, 182–193, DOI:
  7. [7] J. Woodcock, P.G. Larsen, J. Bicarregui, and J.Fitzgerald, Formal methods: Practice and experi-ence, ACM Computing Surveys, 41(4), 2009, 1–36.
  8. [8] M.H. ter Beek, S. Gnesi, and A. Knapp, Formal methodsand automated verification of critical systems, InternationalJournal on Software Tools for Technology Transfer, 20(4),2018, 355–358.
  9. [9] M. Kwiatkowska, G. Norman, and D. Parker, Probabilisticmodel checking: Advances and applications, in R. Drechsler(ed.), Formal System Verification. (Cham: Springer, 2017),73–121. 3
  10. [10] M. Kwiatkowska, G. Norman, and D. Parker, Advancesand challenges of probabilistic model checking, Proc. 48thAnnual Allerton Conf. on Communication, Control, andComputing (Allerton), Monticello, IL, 2010, 1691–1698, DOI:10.1109/ALLERTON.2010.5707120.
  11. [11] H. Hansson and B. Jonsson, A logic for reasoning abouttime and reliability, Formal Aspects of Computing, 6(5), 1994,512–535.
  12. [12] C. Baier and J.P. Katoen, Principles of model checking.(Cambridge, MA: MIT Press), 2008.
  13. [13] M. Mohagheghi, J. Karimpour, and A. Isazadeh, Prioritizingmethods to accelerate probabilistic model checking of discrete-time Markov models, The Computer Journal, 63(1), 2020,105–122.
  14. [14] M. Kwiatkowska, G. Norman, and D. Parker, PRISM 4.0:Verification of probabilistic real-time systems. Internationalconference on computer aided verification, in G. Gopalakrish-nan and S. Qadeer, (eds.), Computer Aided Verification. CAV2011. Lecture Notes in Computer Science, vol. 6806. (Berlin:Springer, 2011), 585–591. 47
  15. [15] L. Jin, G. Zhang, J. Wang, H. Zhu, and W. Duan, Quantitativesurvivability analysis using probability model checking: Astudy of cluster-based vehicle networks with dual clusterheads, China Communications, 17(2), 2020, 206–219, DOI:10.23919/JCC.2020.02.016.
  16. [16] F. Yang, G. Yang, Y. Hao, Q. Luo, and Y. Wang, Securityanalysis of multi-party quantum private comparison protocolby model checking, Modern Physics Letters B, 29(18), 2015,1550089.
  17. [17] A. Baouya, O.A. Mohamed, S. Ouchani, and D. Ben-nouar, Reliability-driven automotive software deploymentbased on a parametrizable probabilistic model checking,Expert Systems with Applications, 174, 2021, 114572.
  18. [18] M.P. Fanti, A.M. Mangini, and M. Roccotelli, Hospi-tal drugs distribution with autonomous robot vehicles,Proc. IEEE 16th Int. Conf. on Automation Science andEngineering (CASE), Hong Kong, 2020, 1025–1030, DOI:10.1109/CASE48305.2020.9217043.
  19. [19] A.S.A. Doss, D. Venkatesh, and M. Ovinis, Simulation andexperimental studies of a mobile robot for underwater appli-cations, International Journal of Robotics and Automation,36(1), 2021, 10–17, DOI: 10.2316/J.2021.206-0424.469
  20. [20] E. Lyu, X. Yang, W. Liu, J. Wang, S. Song, and Q.H.M.Max, An autonomous eye-in-hand robotic system for pickingobjects in a supermarket environment with non-holonomicconstraint, International Journal of Robotics and Automation,37(4), 2022, 352–361, DOI: 10.2316/J.2022.206-0685.
  21. [21] Y. Li, W. Liu, and X. Lei, Charging trajectory planningand motion control for indoor mobile robots, InternationalJournal of Robotics and Automation, 37(6), 2022, 520–528,DOI: 10.2316/J.2022.206-0527.

Important Links:

Go Back