{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,27]],"date-time":"2026-01-27T13:49:34Z","timestamp":1769521774132,"version":"3.49.0"},"reference-count":25,"publisher":"IEEE","license":[{"start":{"date-parts":[[2020,5,1]],"date-time":"2020-05-01T00:00:00Z","timestamp":1588291200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2020,5,1]],"date-time":"2020-05-01T00:00:00Z","timestamp":1588291200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2020,5,1]],"date-time":"2020-05-01T00:00:00Z","timestamp":1588291200000},"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":[[2020,5]]},"DOI":"10.1109\/icra40945.2020.9197066","type":"proceedings-article","created":{"date-parts":[[2020,9,15]],"date-time":"2020-09-15T17:25:46Z","timestamp":1600190746000},"page":"7712-7718","source":"Crossref","is-referenced-by-count":21,"title":["Multi-Agent Task Allocation using Cross-Entropy Temporal Logic Optimization"],"prefix":"10.1109","author":[{"given":"Christopher","family":"Banks","sequence":"first","affiliation":[]},{"given":"Sean","family":"Wilson","sequence":"additional","affiliation":[]},{"given":"Samuel","family":"Coogan","sequence":"additional","affiliation":[]},{"given":"Magnus","family":"Egerstedt","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2016.04.006"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2005.1582134"},{"key":"ref12","first-page":"568","article-title":"Verifiable control of robotic swarm from high-level specifications","author":"chen","year":"2018","journal-title":"Proc of International Conference on Autonomous Agents and Multiagent Systems"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.15607\/RSS.2018.XIV.031"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-73008-0_18"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1177\/0278364912444543"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2008.10.012"},{"key":"ref17","article-title":"Linear temporal logic and linear dynamic logic on finite traces","author":"de giacomo","year":"2013","journal-title":"Twenty-Third International Joint Conference on Artificial Intelligence"},{"key":"ref18","doi-asserted-by":"crossref","DOI":"10.1609\/aaai.v28i1.8872","article-title":"Reasoning on LTL on finite traces: Insensitivity to infiniteness","author":"de giacomo","year":"2014","journal-title":"Twenty-Eighth AAAI Conference on Artificial Intelligence"},{"key":"ref19","volume":"1003","author":"holzmann","year":"2004","journal-title":"The SPIN Model Checker Primer and Reference Manual"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2008.4587180"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-18299-5_2"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/THMS.2015.2480801"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2013.6630994"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1177\/0278364911417911"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2004.1428622"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1177\/0278364913496484"},{"key":"ref9","author":"baier","year":"2008","journal-title":"Principles of Model Checking"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1177\/0278364904045564"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/2000799.2000800"},{"key":"ref22","author":"baier","year":"2008","journal-title":"Principles of Model Checking"},{"key":"ref21","author":"bishop","year":"2006","journal-title":"Pattern Recognition and Machine Learning (Information Science and Statistics)"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2018.8460471"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2011.5980409"},{"key":"ref25","year":"2018"}],"event":{"name":"2020 IEEE International Conference on Robotics and Automation (ICRA)","location":"Paris, France","start":{"date-parts":[[2020,5,31]]},"end":{"date-parts":[[2020,8,31]]}},"container-title":["2020 IEEE International Conference on Robotics and Automation (ICRA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9187508\/9196508\/09197066.pdf?arnumber=9197066","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,11,18]],"date-time":"2022-11-18T09:01:05Z","timestamp":1668762065000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9197066\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,5]]},"references-count":25,"URL":"https:\/\/doi.org\/10.1109\/icra40945.2020.9197066","relation":{},"subject":[],"published":{"date-parts":[[2020,5]]}}}