共 58 条
[5]
Brecelj T, 2023, INT CONF ADV ROBOT, P258, DOI 10.1109/ICAR58858.2023.10406553
[7]
Clarke E.M., 2012, Model Checking and the State Explosion Problem, V7682, P1, DOI [DOI 10.1007/978-3-642-35746-6_1, 10.1007/978-3-642-35746-6_1]
[8]
Colledanchise M, 2022, Arxiv, DOI [arXiv:1709.00084, DOI 10.1201/9780429489105]
[9]
Daltorio Kathryn A., 2013, Biomimetic and Biohybrid Systems. Second International Conference, Living Machines 2013. Proceedings. LNCS 8064, P59, DOI 10.1007/978-3-642-39802-5_6