June 27, 2026 B. Baspinar, H. Balakrishnan, E. Koyuncu “Mission Planning and Control of Multi-Aircraft Systems With Signal Temporal Logic Specifications” IEEE Access [21693536] 7. (2019): 155941-155950. Print. Share this 7. (2019): 155941-155950. Print."] Related Stories See all news Electrified aircraft design: A summary of best practices and design methods for practitioners and engineering students Interactive causal diagram of habitat design impacts on behavioral health and performance in extreme environments See all news