{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,22]],"date-time":"2025-08-22T06:10:11Z","timestamp":1755843011131,"version":"3.44.0"},"reference-count":20,"publisher":"IEEE","license":[{"start":{"date-parts":[[2025,7,8]],"date-time":"2025-07-08T00:00:00Z","timestamp":1751932800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,7,8]],"date-time":"2025-07-08T00:00:00Z","timestamp":1751932800000},"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":[[2025,7,8]]},"DOI":"10.23919\/acc63710.2025.11107663","type":"proceedings-article","created":{"date-parts":[[2025,8,21]],"date-time":"2025-08-21T18:17:51Z","timestamp":1755800271000},"page":"4211-4217","source":"Crossref","is-referenced-by-count":0,"title":["Truck Fleet Coordination for Warehouse Trailer Management by Temporal Logic with Energy Constraints"],"prefix":"10.23919","author":[{"given":"Gustavo A.","family":"Cardona","sequence":"first","affiliation":[{"name":"Lehigh University,Mechanical Engineering and Mechanics Department,PA,USA"}]},{"given":"Cristian-Ioan","family":"Vasile","sequence":"additional","affiliation":[{"name":"Lehigh University,Mechanical Engineering and Mechanics Department,PA,USA"}]},{"given":"Stefano","family":"Di Cairano","sequence":"additional","affiliation":[{"name":"Mitsubishi Electric Research Laboratories,Cambridge,MA,USA,02139"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.18280\/jesa.560109"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1108\/ir-04-2020-0073"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2021.3058190"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/s11370-021-00363-w"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1186\/s12544-020-00440-8"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2016.2600504"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.23919\/ACC53348.2022.9867802"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.23919\/ACC55779.2023.10156306"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/ICCA51439.2020.9264491"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/SMC.2017.8122818"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/CIS-RAM47153.2019.9095786"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1177\/02783649241247285"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/ALLERTON.2015.7447084"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/1755952.1755968"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(97)00139-4"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-11164-3_19"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1002\/9781118627372"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.23919\/ECC57647.2023.10178201"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2014.2324111"},{"article-title":"A flexible and efficient temporal logic tool for python: Pytelo","year":"2023","author":"Cardona","key":"ref20"}],"event":{"name":"2025 American Control Conference (ACC)","start":{"date-parts":[[2025,7,8]]},"location":"Denver, CO, USA","end":{"date-parts":[[2025,7,10]]}},"container-title":["2025 American Control Conference (ACC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11107441\/11107442\/11107663.pdf?arnumber=11107663","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,22]],"date-time":"2025-08-22T05:42:30Z","timestamp":1755841350000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11107663\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,7,8]]},"references-count":20,"URL":"https:\/\/doi.org\/10.23919\/acc63710.2025.11107663","relation":{},"subject":[],"published":{"date-parts":[[2025,7,8]]}}}