@article{bacspinar2019mission,
  title={Mission planning and control of multi-aircraft systems with signal temporal logic specifications},
  author={Ba{\c{s}}pinar, Bari{\c{s}} and Balakrishnan, Hamsa and Koyuncu, Emre},
  journal={IEEE Access},
  volume={7},
  pages={155941--155950},
  year={2019},
  publisher={IEEE}
}

{"_id":"GGCicwjfPb5NWCJdB","bibbaseid":"bapinar-balakrishnan-koyuncu-missionplanningandcontrolofmultiaircraftsystemswithsignaltemporallogicspecifications-2019","author_short":["Başpinar, B.","Balakrishnan, H.","Koyuncu, E."],"bibdata":{"bibtype":"article","type":"article","title":"Mission planning and control of multi-aircraft systems with signal temporal logic specifications","author":[{"propositions":[],"lastnames":["Başpinar"],"firstnames":["Bariş"],"suffixes":[]},{"propositions":[],"lastnames":["Balakrishnan"],"firstnames":["Hamsa"],"suffixes":[]},{"propositions":[],"lastnames":["Koyuncu"],"firstnames":["Emre"],"suffixes":[]}],"journal":"IEEE Access","volume":"7","pages":"155941–155950","year":"2019","publisher":"IEEE","bibtex":"@article{bacspinar2019mission,\n title={Mission planning and control of multi-aircraft systems with signal temporal logic specifications},\n author={Ba{\\c{s}}pinar, Bari{\\c{s}} and Balakrishnan, Hamsa and Koyuncu, Emre},\n journal={IEEE Access},\n volume={7},\n pages={155941--155950},\n year={2019},\n publisher={IEEE}\n}\n\n","author_short":["Başpinar, B.","Balakrishnan, H.","Koyuncu, E."],"key":"bacspinar2019mission","id":"bacspinar2019mission","bibbaseid":"bapinar-balakrishnan-koyuncu-missionplanningandcontrolofmultiaircraftsystemswithsignaltemporallogicspecifications-2019","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"https://bibbase.org/network/files/mmjok6XyC4MdmCyv8","dataSources":["fnagTL6ZNWyRnrxXZ"],"keywords":[],"search_terms":["mission","planning","control","multi","aircraft","systems","signal","temporal","logic","specifications","başpinar","balakrishnan","koyuncu"],"title":"Mission planning and control of multi-aircraft systems with signal temporal logic specifications","year":2019}