{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,15]],"date-time":"2025-10-15T10:15:53Z","timestamp":1760523353522},"reference-count":0,"publisher":"IEEE","license":[{"start":{"date-parts":[[2015,7,1]],"date-time":"2015-07-01T00:00:00Z","timestamp":1435708800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2015,7,1]],"date-time":"2015-07-01T00:00:00Z","timestamp":1435708800000},"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":[[2015,7]]},"DOI":"10.1109\/ecc.2015.7330634","type":"proceedings-article","created":{"date-parts":[[2015,11,23]],"date-time":"2015-11-23T22:45:17Z","timestamp":1448318717000},"page":"759-764","source":"Crossref","is-referenced-by-count":9,"title":["Optimal mission planner with timed temporal logic constraints"],"prefix":"10.1109","author":[{"family":"Yuchen Zhou","sequence":"first","affiliation":[{"name":"Department of Electrical and Computer Engineering, and the Institute for Systems Research, University of Maryland, College Park, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dipankar","family":"Maity","sequence":"additional","affiliation":[{"name":"Department of Electrical and Computer Engineering, and the Institute for Systems Research, University of Maryland, College Park, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"John S.","family":"Baras","sequence":"additional","affiliation":[{"name":"Department of Electrical and Computer Engineering, and the Institute for Systems Research, University of Maryland, College Park, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","event":{"name":"2015 European Control Conference (ECC)","start":{"date-parts":[[2015,7,15]]},"location":"Linz, Austria","end":{"date-parts":[[2015,7,17]]}},"container-title":["2015 European Control Conference (ECC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7317886\/7330515\/07330634.pdf?arnumber=7330634","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,7]],"date-time":"2024-03-07T19:12:17Z","timestamp":1709838737000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/7330634\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,7]]},"references-count":0,"URL":"https:\/\/doi.org\/10.1109\/ecc.2015.7330634","relation":{},"subject":[],"published":{"date-parts":[[2015,7]]}}}