Derya Aksaray

Contact

Robotics, control theory, formal methods, machine learning, and aerospace systems

PhD, Aerospace Engineering, Georgia Institute of Technology, 2014
MS, Aerospace Engineering, Georgia Institute of Technology, 2011
BS, Aerospace Engineering, Middle East Technical University, Ankara, Turkey, 2008

Robotics, control theory, formal methods, machine learning, and aerospace systems

Context-Aware Reinforcement Learning with Complex Objectives and Constraints
- – PI, DARPA, 2021

A.T. Buyukkocak, D. Aksaray, and Y. Yazicioglu, “Sequential control barrier functions for mobile robots with dynamic temporal logic specifications“, Robotics and Autonomous Systems, vol. 176, pages 104681, 2024.
R. Peterson, A. T. Buyukkocak, D. Aksaray, and Y. Yazicioglu, “Safe Reactive Motion Planning Using Time Window Temporal Logic Specifications”, Robotics and Autonomous Systems, vol. 142, pages 103801, 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, vol 6, no 2, 1375-1382, 2021.
A.T. Buyukkocak and D. Aksaray, “Temporal Relaxation of Signal Temporal Logic Specifications for Resilient Control Synthesis”, IEEE Conference on Decision and Control, Cancun, Mexico, 2022.
D. Aksaray, Y. Yazicioglu, and A.S. Asarkaya, “Probabilistically Guaranteed Satisfaction of Temporal Logic Constraints During Reinforcement Learning”, IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 2021.