{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,14]],"date-time":"2025-06-14T05:24:23Z","timestamp":1749878663221,"version":"3.37.3"},"reference-count":23,"publisher":"IEEE","license":[{"start":{"date-parts":[[2022,5,23]],"date-time":"2022-05-23T00:00:00Z","timestamp":1653264000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,5,23]],"date-time":"2022-05-23T00:00:00Z","timestamp":1653264000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/100000185","name":"DARPA","doi-asserted-by":"publisher","award":["PA-19-03-01"],"award-info":[{"award-number":["PA-19-03-01"]}],"id":[{"id":"10.13039\/100000185","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022,5,23]]},"DOI":"10.1109\/icra46639.2022.9812045","type":"proceedings-article","created":{"date-parts":[[2022,7,12]],"date-time":"2022-07-12T19:36:40Z","timestamp":1657654600000},"page":"4363-4369","source":"Crossref","is-referenced-by-count":5,"title":["Automated Task Updates of Temporal Logic Specifications for Heterogeneous Robots"],"prefix":"10.1109","author":[{"given":"Amy","family":"Fang","sequence":"first","affiliation":[{"name":"Sibley School of Mechanical and Aerospace Engineering, Cornell University,Ithaca,NY,USA,14853"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hadas","family":"Kress-Gazit","sequence":"additional","affiliation":[{"name":"Sibley School of Mechanical and Aerospace Engineering, Cornell University,Ithaca,NY,USA,14853"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"doi-asserted-by":"publisher","key":"ref10","DOI":"10.1145\/1543834.1543874"},{"key":"ref11","first-page":"3057","article-title":"Decentralized task allocation for heterogeneous teams with cooperation constraints","author":"choi","year":"0","journal-title":"Proceedings of the 2010 American Control Conference"},{"doi-asserted-by":"publisher","key":"ref12","DOI":"10.1177\/1729881418755840"},{"doi-asserted-by":"publisher","key":"ref13","DOI":"10.1145\/1082473.1082536"},{"doi-asserted-by":"publisher","key":"ref14","DOI":"10.1145\/3387304.3387322"},{"key":"ref15","article-title":"Scalable and Robust Deployment of Heterogenenous Teams from Temporal Logic Specifications","author":"jones","year":"2019","journal-title":"International Symposium on Robotics Research (ISRR)"},{"doi-asserted-by":"publisher","key":"ref16","DOI":"10.1177\/0278364918774135"},{"key":"ref17","article-title":"Hierarchical ltl-task mdps for multi-agent coordination through auctioning and learning","author":"schillinger","year":"2019","journal-title":"The International Journal of Robotics Research"},{"doi-asserted-by":"publisher","key":"ref18","DOI":"10.1109\/JIOT.2018.2871346"},{"doi-asserted-by":"publisher","key":"ref19","DOI":"10.1080\/00207540600675801"},{"doi-asserted-by":"publisher","key":"ref4","DOI":"10.1109\/TCYB.2016.2602498"},{"doi-asserted-by":"publisher","key":"ref3","DOI":"10.1177\/0278364904045564"},{"key":"ref6","first-page":"1603","article-title":"Reinforcement learning to play an optimal nash equilibrium in team markov games","author":"wang","year":"2002","journal-title":"Proceedings of the 15th International Conference on Neural Information Processing Systems NIPS'02"},{"doi-asserted-by":"publisher","key":"ref5","DOI":"10.1109\/MIS.2002.1005630"},{"doi-asserted-by":"publisher","key":"ref8","DOI":"10.1007\/s10458-010-9123-8"},{"doi-asserted-by":"publisher","key":"ref7","DOI":"10.1109\/CDC40024.2019.9029635"},{"doi-asserted-by":"publisher","key":"ref2","DOI":"10.1016\/j.jcss.2014.11.009"},{"doi-asserted-by":"publisher","key":"ref1","DOI":"10.1146\/annurev-control-060117-104838"},{"doi-asserted-by":"publisher","key":"ref9","DOI":"10.14257\/ijhit.2015.8.3.01"},{"year":"2008","author":"baier","journal-title":"Principles of Model Checking","key":"ref20"},{"year":"2000","author":"clarke","journal-title":"Model checking","key":"ref22"},{"doi-asserted-by":"publisher","key":"ref21","DOI":"10.1007\/978-3-319-46520-3_8"},{"doi-asserted-by":"publisher","key":"ref23","DOI":"10.1109\/5.871304"}],"event":{"name":"2022 IEEE International Conference on Robotics and Automation (ICRA)","start":{"date-parts":[[2022,5,23]]},"location":"Philadelphia, PA, USA","end":{"date-parts":[[2022,5,27]]}},"container-title":["2022 International Conference on Robotics and Automation (ICRA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9811522\/9811357\/09812045.pdf?arnumber=9812045","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,11,3]],"date-time":"2022-11-03T23:04:33Z","timestamp":1667516673000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9812045\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,5,23]]},"references-count":23,"URL":"https:\/\/doi.org\/10.1109\/icra46639.2022.9812045","relation":{},"subject":[],"published":{"date-parts":[[2022,5,23]]}}}