{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,1]],"date-time":"2025-11-01T12:49:56Z","timestamp":1762001396851,"version":"build-2065373602"},"reference-count":18,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,10]]},"DOI":"10.1109\/smc.2017.8122818","type":"proceedings-article","created":{"date-parts":[[2017,11,30]],"date-time":"2017-11-30T22:22:47Z","timestamp":1512080567000},"page":"1453-1458","source":"Crossref","is-referenced-by-count":5,"title":["An optimal task decision method for a warehouse robot with multiple tasks based on linear temporal logic"],"prefix":"10.1109","author":[{"given":"Shuai","family":"Hao","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhiwu","family":"Huang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lulu","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rui","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiaoyong","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jun","family":"Peng","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wentao","family":"Yu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"crossref","first-page":"193","DOI":"10.2514\/2.4231","article-title":"Survey of numerical methods for trajectory optimization","volume":"21","author":"john","year":"1998","journal-title":"Journal of Guidance Control and Dynamics"},{"key":"ref11","doi-asserted-by":"crossref","first-page":"1695","DOI":"10.1177\/0278364911417911","article-title":"Optimal path planning for surveillance with temporal logic constraints","volume":"30","author":"stephen","year":"2011","journal-title":"The International Journal of Robotics Research"},{"key":"ref12","doi-asserted-by":"crossref","first-page":"889","DOI":"10.1177\/0278364913487931","article-title":"Optimality and robustness in multi-robot path planning with temporal logic constraints","volume":"32","author":"alphan","year":"2013","journal-title":"The International Journal of Robotics Research"},{"key":"ref13","first-page":"348","article-title":"Bottom-up motion and task coordination for loosely-coupled multi-agent systems with dependent local tasks","author":"meng","year":"2015","journal-title":"Automation Science and Engineering (CASE) 2015 IEEE International Conference on"},{"journal-title":"Model checking","year":"1999","author":"edmund","key":"ref14"},{"journal-title":"Principles of Model Checking","year":"2008","author":"christel","key":"ref15"},{"key":"ref16","first-page":"322","article-title":"An automata-theoretic approach to automatic program verification","author":"moshe","year":"1986","journal-title":"Proceedings of the First Symposium on Logic in Computer Science"},{"key":"ref17","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1109\/TAC.2007.914952","article-title":"A fully automated framework for control of linear systems from temporal logic specifications","volume":"53","author":"marius","year":"2008","journal-title":"IEEE Transactions on Automatic Control"},{"key":"ref18","first-page":"53","article-title":"Fast ltl to büchi automata translation","author":"paul","year":"2001","journal-title":"International Conference on Computer Aided Verification"},{"journal-title":"Planning Algorithms","year":"2006","author":"steven","key":"ref4"},{"key":"ref3","first-page":"304","article-title":"Generation X vs Generation Y C A decade of online shopping","author":"sabina","year":"0","journal-title":"Journal of Retailing and Consumer Services 2016"},{"key":"ref6","first-page":"147","article-title":"Systems of temporal logic for a use of engineering. toward a more practical approach","author":"krystian","year":"2016","journal-title":"Intelligent Systems for Computer Modelling"},{"key":"ref5","first-page":"283","article-title":"Path planning algorithm for mobile robot","author":"ivaylo","year":"2015","journal-title":"International Conference on Applied Computer Science"},{"key":"ref8","first-page":"3690","article-title":"Optimal temporal logic planning in probabilistic semantic maps","author":"jie","year":"2016","journal-title":"International Conference on Robotics and Automation"},{"key":"ref7","first-page":"346","article-title":"Towards manipulation planning with temporal logic specifications","author":"keliang","year":"2015","journal-title":"2015 IEEE International Conference on Robotics and Automation (ICRA)"},{"journal-title":"Team Delft's Robot Winner of the Amazon Picking Challenge","year":"2016","author":"carlos","key":"ref2"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1108\/IR-07-2016-0194"},{"key":"ref9","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1142\/S2301385014300029","article-title":"Mission accomplished: An introduction to formal methods in mobile robot motion planning and control","volume":"2","author":"hai","year":"2014","journal-title":"Unmanned Systems"}],"event":{"name":"2017 IEEE International Conference on Systems, Man and Cybernetics (SMC)","start":{"date-parts":[[2017,10,5]]},"location":"Banff, AB","end":{"date-parts":[[2017,10,8]]}},"container-title":["2017 IEEE International Conference on Systems, Man, and Cybernetics (SMC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8114675\/8122565\/08122818.pdf?arnumber=8122818","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,7]],"date-time":"2019-10-07T05:53:56Z","timestamp":1570427636000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8122818\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,10]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/smc.2017.8122818","relation":{},"subject":[],"published":{"date-parts":[[2017,10]]}}}