{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,27]],"date-time":"2025-06-27T01:35:10Z","timestamp":1750988110898,"version":"3.28.0"},"reference-count":15,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,5]]},"DOI":"10.1109\/icra.2014.6907032","type":"proceedings-article","created":{"date-parts":[[2014,9,30]],"date-time":"2014-09-30T16:32:36Z","timestamp":1412094756000},"page":"1380-1385","source":"Crossref","is-referenced-by-count":7,"title":["Formal verification of a collision-free algorithm of dual-arm robot in HOL4"],"prefix":"10.1109","author":[{"given":"Liming","family":"Li","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhiping","family":"Shi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yong","family":"Guan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chunna","family":"Zhao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jie","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hongxing","family":"Wei","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/BF01559613"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-009-9120-2"},{"key":"ref12","first-page":"2464","article-title":"Humanoid motion planning for dual-arm manipulation and re-grasping tasks, Intelligent Robots and Systems","author":"vahrenkamp","year":"2009","journal-title":"2009 IROS 2009 IEEE\/RSJ International Conference on IEEE"},{"key":"ref13","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1007\/978-3-642-03359-9_2","author":"cohen","year":"2009","journal-title":"VCC A Practical System for Verifying Concurrent C Theorem Proving in Higher Order Logics"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2007.914952"},{"key":"ref15","first-page":"701","article-title":"Cooperative Path Planning for Redundant Dual-Arm Robot Using Low-Dimensional Sample-Based Algorithm","author":"choi","year":"2010","journal-title":"Mechatronic Systems"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2009.2030225"},{"journal-title":"Technical Report A Receding Horizon Algorithm for Informative Path Planning with Temporal Logic Constraints arXiv preprint arXiv 1301 7482","year":"2013","author":"jones","key":"ref3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/s10514-011-9271-y"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/11615798_1"},{"journal-title":"C Formalised in HOL","year":"1998","author":"norrish","key":"ref8"},{"key":"ref7","doi-asserted-by":"crossref","first-page":"347","DOI":"10.1007\/978-3-642-15651-9_26","author":"walter","year":"2010","journal-title":"Experiences in Applying Formal Verification in Robotics Computer Safety Reliability and Security"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1049\/cce:20000101"},{"key":"ref1","first-page":"930","article-title":"Collision-Free Motion Planning of a Dual-Arm Robot","volume":"21 6","author":"ding","year":"2002","journal-title":"Mechanical Science and Technology"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-05089-3_27"}],"event":{"name":"2014 IEEE International Conference on Robotics and Automation (ICRA)","start":{"date-parts":[[2014,5,31]]},"location":"Hong Kong, China","end":{"date-parts":[[2014,6,7]]}},"container-title":["2014 IEEE International Conference on Robotics and Automation (ICRA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6895053\/6906581\/06907032.pdf?arnumber=6907032","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,15]],"date-time":"2019-08-15T13:27:47Z","timestamp":1565875667000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6907032\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,5]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/icra.2014.6907032","relation":{},"subject":[],"published":{"date-parts":[[2014,5]]}}}