{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,15]],"date-time":"2025-10-15T06:41:24Z","timestamp":1760510484138,"version":"build-2065373602"},"reference-count":15,"publisher":"IEEE","license":[{"start":{"date-parts":[[2025,6,24]],"date-time":"2025-06-24T00:00:00Z","timestamp":1750723200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,6,24]],"date-time":"2025-06-24T00:00:00Z","timestamp":1750723200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100004052","name":"King Abdullah University of Science and Technology","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100004052","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025,6,24]]},"DOI":"10.23919\/ecc65951.2025.11187219","type":"proceedings-article","created":{"date-parts":[[2025,10,14]],"date-time":"2025-10-14T17:38:09Z","timestamp":1760463489000},"page":"1111-1117","source":"Crossref","is-referenced-by-count":0,"title":["Mixed-Integer Linear Programming Model for Collision Avoidance Planning in Commercial Aircraft Formations"],"prefix":"10.23919","author":[{"given":"Songqiying","family":"Yang","sequence":"first","affiliation":[{"name":"KAUST,Computer, Electrical and Mathematical Science & Engineering Division (CEMSE),Saudi Arabia"}]},{"given":"Ania","family":"Adil","sequence":"additional","affiliation":[{"name":"KAUST,Computer, Electrical and Mathematical Science & Engineering Division (CEMSE),Saudi Arabia"}]},{"given":"Eric","family":"Feron","sequence":"additional","affiliation":[{"name":"KAUST,Computer, Electrical and Mathematical Science & Engineering Division (CEMSE),Saudi Arabia"}]}],"member":"263","reference":[{"year":"2022","key":"ref1","article-title":"Airbus and its partners demonstrate how sharing the skies can save"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.2514\/6.2002-4492"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.2514\/6.2014-1457"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.1999.831295"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2006.883241"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.2514\/6.2002-4491"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.2514\/1.C035954"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.2514\/6.2009-3615"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/DASC.2004.1391244"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TAES.2017.2714898"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.2514\/6.2014-0967"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/DASC.2011.6095916"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.3846\/aviation.2019.9746"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.2514\/6.2023-3260"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.2514\/1.G007315"}],"event":{"name":"2025 European Control Conference (ECC)","start":{"date-parts":[[2025,6,24]]},"location":"Thessaloniki, Greece","end":{"date-parts":[[2025,6,27]]}},"container-title":["2025 European Control Conference (ECC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11186289\/11186290\/11187219.pdf?arnumber=11187219","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,15]],"date-time":"2025-10-15T06:02:59Z","timestamp":1760508179000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11187219\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,6,24]]},"references-count":15,"URL":"https:\/\/doi.org\/10.23919\/ecc65951.2025.11187219","relation":{},"subject":[],"published":{"date-parts":[[2025,6,24]]}}}