Derya Aksaray

Contact

Planning, learning, and control of autonomous robots with theoretical guarantees

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

Planning, learning, and control of autonomous robots with theoretical guarantees

Continuous Contingency Planning in Off-Road Environments: Techniques for High-Speed and Multiagent Systems under Adversarial Attacks
- co-PI, ARL, 2024
Context-Aware Reinforcement Learning with Complex Objectives and Constraints
- PI, DARPA, 2021

A.T. Buyukkocak and D. Aksaray, “Resilient Online Planning for Mobile Robots with Minimal Relaxation of Signal Temporal Logic Specifications”, IEEE Robotics and Automation Letters vol 10, no 6, 5935-5942, 2025.
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 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.