{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T15:52:57Z","timestamp":1725724377831},"reference-count":2,"publisher":"IEEE","license":[{"start":{"date-parts":[[2024,1,8]],"date-time":"2024-01-08T00:00:00Z","timestamp":1704672000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,1,8]],"date-time":"2024-01-08T00:00:00Z","timestamp":1704672000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024,1,8]]},"DOI":"10.1109\/sii58957.2024.10417247","type":"proceedings-article","created":{"date-parts":[[2024,2,9]],"date-time":"2024-02-09T13:22:18Z","timestamp":1707484938000},"page":"1004-1005","source":"Crossref","is-referenced-by-count":0,"title":["Implementation of Pick-and-Place Tasks in Logistics Environments Using Linear Temporal Logic and Skill-Based Remote Control Robot System"],"prefix":"10.1109","author":[{"given":"Tatsuhiko","family":"Nakabayashi","sequence":"first","affiliation":[{"name":"NEC Corporation,Data Science Laboratories,,Kanagawa,Japan,211-8666"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Masumi","family":"Ichien","sequence":"additional","affiliation":[{"name":"NEC Corporation,Data Science Laboratories,,Kanagawa,Japan,211-8666"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Takuma","family":"Wada","sequence":"additional","affiliation":[{"name":"NEC Corporation,DX Offer ing Department,Kanagawa,Japan,211-8666"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Satoshi","family":"Ikeda","sequence":"additional","affiliation":[{"name":"NEC Corporation,DX Offer ing Department,Kanagawa,Japan,211-8666"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yuki","family":"Hayashi","sequence":"additional","affiliation":[{"name":"NEC Corporation,DX Offer ing Department,Kanagawa,Japan,211-8666"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jun","family":"Suzuki","sequence":"additional","affiliation":[{"name":"NEC Corporation,DX Offer ing Department,Kanagawa,Japan,211-8666"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Masatsugu","family":"Ogawa","sequence":"additional","affiliation":[{"name":"NEC Corporation,Data Science Laboratories,,Kanagawa,Japan,211-8666"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/VR.2019.8798128"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/IROS45743.2020.9341352"}],"event":{"name":"2024 IEEE\/SICE International Symposium on System Integration (SII)","start":{"date-parts":[[2024,1,8]]},"location":"Ha Long, Vietnam","end":{"date-parts":[[2024,1,11]]}},"container-title":["2024 IEEE\/SICE International Symposium on System Integration (SII)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10417130\/10417144\/10417247.pdf?arnumber=10417247","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,13]],"date-time":"2024-02-13T07:55:26Z","timestamp":1707810926000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10417247\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,1,8]]},"references-count":2,"URL":"https:\/\/doi.org\/10.1109\/sii58957.2024.10417247","relation":{},"subject":[],"published":{"date-parts":[[2024,1,8]]}}}