Derya AksarayAssistant Professor, Department of Aerospace Engineering and Mechanics
2013: AIAA Infotech@Aerospace Conference, Travel Grant awarded by poster competition
2013: American Control Conference, Best Presentation in Session award
2008: AHA Helicopter Design Competition, Member/Coordinator of Best New Entrant Team
2007: EUROAVIA Design Workshop (1 of 25 participants across Europe)
R. Peterson, A. T. Buyukkocak, D. Aksaray, and Y. Yazicioglu, “Safe Reactive Motion Planning Using Time Window Temporal Logic Specifications”, Robotics and Autonomous Systems, 2021.
A.T. Buyukkocak, D. Aksaray, and Y. Yazicioglu, "Planning of Heterogeneous Multi-Agent Systems under Signal Temporal Logic Specifications with Integral Predicates", IEEE Robotics and Automation Letters (RA-L), vol 6, no 2, 1375-1382, 2021.
C.I. Vasile, D. Aksaray, and C. Belta, “Time Window Temporal Logic”, Theoretical Computer Science Journal, 691, 27-54, 2017.
D. Aksaray, A. Jones, Z. Kong, M. Schwager, and C. Belta, “Q-Learning for Robust Satisfaction of Signal Temporal Logic Specifications”, IEEE Conference on Decision and Control, Las Vegas, NV, 2016.
D. Aksaray, A.Y. Yazicioglu, E. Feron, and D. Mavris, “Message Passing Strategy for Decentralized Connectivity Maintenance in Multiagent Surveillance”, AIAA Journal of Guidance, Control, and Dynamics, vol. 39, no. 3, 2016.