{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T12:10:37Z","timestamp":1730203837995,"version":"3.28.0"},"reference-count":15,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,8]]},"DOI":"10.1109\/ccta.2018.8511477","type":"proceedings-article","created":{"date-parts":[[2018,11,16]],"date-time":"2018-11-16T04:05:14Z","timestamp":1542341114000},"page":"146-152","source":"Crossref","is-referenced-by-count":1,"title":["Time Optimal Robust Fleet Management of Micro UAV Through Timed Games Formulation"],"prefix":"10.1109","author":[{"given":"Henrik","family":"Schioler","sequence":"first","affiliation":[]},{"given":"Luminita","family":"Totu","sequence":"additional","affiliation":[]},{"given":"Jan","family":"Dimon","sequence":"additional","affiliation":[]},{"given":"Kim Guldstrand","family":"Larsen","sequence":"additional","affiliation":[]},{"given":"Jakob Haahr","family":"Taankvist","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ICSESS.2011.5982295"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-75454-1_17"},{"journal-title":"UPPAAL Homepage","year":"0","key":"ref12"},{"journal-title":"Uppaal tiga homepage","year":"0","key":"ref13"},{"journal-title":"Uaworld project description","year":"0","key":"ref14"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(85)90029-8"},{"key":"ref4","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1080\/21693277.2016.1195304","article-title":"A system of uav application in indoor environment","volume":"4","author":"khosiawan","year":"2016","journal-title":"Production & Manufacturing Research"},{"key":"ref3","first-page":"29","volume":"429","author":"khosiawan","year":"0","journal-title":"Concept of Indoor 3D-Route UAV Scheduling System"},{"key":"ref6","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1007\/3-540-59042-0_76","article-title":"On the synthesis of discrete controllers for timed systems","author":"maler","year":"1995","journal-title":"STACS 95"},{"key":"ref5","article-title":"Efficient on-the-fly algorithms for the analysis of timed games","volume":"3653","author":"david","year":"2005","journal-title":"Lecture Notes in Computer Science"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2005.11.018"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.5220\/0006418303000308"},{"key":"ref1","first-page":"85","author":"dang","year":"2012","journal-title":"A Genetic Algorithm-Based Heuristic for Part-Feeding Mobile Robot Scheduling Problem"},{"key":"ref9","doi-asserted-by":"crossref","first-page":"559","DOI":"10.1007\/978-3-319-48989-6_34","article-title":"Battery-aware scheduling in low orbit: The gomx-3 case","author":"bisgaard","year":"2016","journal-title":"FM 2016 Formal Methods"}],"event":{"name":"2018 IEEE Conference on Control Technology and Applications (CCTA)","start":{"date-parts":[[2018,8,21]]},"location":"Copenhagen","end":{"date-parts":[[2018,8,24]]}},"container-title":["2018 IEEE Conference on Control Technology and Applications (CCTA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8490495\/8511086\/08511477.pdf?arnumber=8511477","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,24]],"date-time":"2020-08-24T06:11:24Z","timestamp":1598249484000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8511477\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,8]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/ccta.2018.8511477","relation":{},"subject":[],"published":{"date-parts":[[2018,8]]}}}