Journal Publications

1. 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, 2025.

2. 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.

3. X. Lin, Y. Yazicioglu, and D. Aksaray, “Robust Planning for Persistent Surveillance with Energy Constrained UAVs and Mobile Charging Stations”, IEEE Robotics and Automation Letters vol 7, no 2, 4157-4164, 2022.

4. Y. Yazicioglu, R. Bhat, and D. Aksaray, “Distributed Path Planning for Serving Cooperative Tasks with Time Windows: A Game Theoretic Approach”, Journal of Intelligent & Robotic Systems, vol. 103(2), 1-19, 2021.

5. 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.

6. 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.

7.  K.E. Schaefer, J. Oh, D. Aksaray, and D. Barber, “Integrating Context into Artificial Intelligence: Research from the Robotics Collaborative Technology Alliance”, AI Magazine 2019: Special Issue on Context, vol 40, no 3, Fall 2019.

8. R. Paul, J. Arkin, D. Aksaray, N. Roy, and T.M. Howard, “Efficient Grounding of Abstract Spatial Concepts for Natural Language Interaction with Robot Platforms”, International Journal of Robotics Research, vol.37(10), 1269-1299, 2018.

9. C.I. Vasile, D. Aksaray, and C. Belta, “Time Window Temporal Logic”, Theoretical Computer Science Journal, 691, 27-54, 2017.

10. 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.

Conference Publications

1. A. Taheri, Y.M. Phalle, and D. Aksaray, "Temporal Logic Motion Planning of a UAV-UGV Team in Semantically Unknown Environments", AIAA Scitech Forum, 2026 (accepted).

2. X. Lin, S. B. Yüksel, Y. Yazıcıoğlu, and D. Aksaray, "Probabilistic Satisfaction of Temporal Logic Constraints in Reinforcement Learning via Adaptive Policy-Switching",  7th Learning for Dynamics and Control (L4DC) Conference, 2025.

3. S.H. Hosseini, D. Aksaray, M. Imani, "Pareto-Optimal Interventions in Gene Regulatory Networks using Signal Temporal Logic", American Control Conference (ACC), 2025.

4. A.Kazeminajafabadi, D. Aksaray, and M. Imani, "Defense Policy Optimization with Linear Temporal Logic Specifications for Interconnected Networks", AIAA Scitech Forum, 2025.

5. A.T. Buyukkocak, D. Aksaray, and Y. Yazicioglu, “Energy-aware Planning of Heterogeneous Multi-Agent Systems for Serving Cooperative Tasks with  Temporal Logic Specifications”, IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 2023.

6. X. Lin, A. Koochakzadeh, Y. Yazicioglu, and D. Aksaray. "Reinforcement Learning Under Probabilistic Spatio-Temporal Constraints with Time Windows," IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 2023.

7. A.T. Buyukkocak, P. Seiler, D. Aksaray, and V. Gupta, “Iterative Planner/Controller Design to Satisfy Signal Temporal Logic Specifications”, American Control Conference (ACC), 2023. 

8. A.T. Buyukkocak, Y. Hu, A. Taheri, D. Aksaray, and D. Gebre-Egziabher, “State-Estimation-Aware Planning for Autonomous Systems with Temporal Logic Specifications”, AIAA Scitech Forum, 2023.

9. L. Vande Kamp, A. Koochakzadeh, Y. Yazicioglu, and D. Aksaray, “A Game Theoretic Approach to Distributed Planning of Multi-Agent Systems under Temporal Logic Specifications”, AIAA Scitech Forum, 2023.

10. 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.

11. A.T. Buyukkocak, D. Aksaray, and Y. Yazicioglu, “Control Barrier Functions with Actuation Constraints under Signal Temporal Logic Specifications”, European Control Conference (ECC), 2022.

12. A. Pantazides, D. Aksaray, and D. Gebre-Egziabher, “Satellite Mission Planning with Signal Temporal Logic Specifications”, AIAA Scitech Forum, 2022.

13. 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.

14. A.S. Asarkaya, D. Aksaray, and Y. Yazicioglu, “Temporal Logic Constrained Hybrid Reinforcement Learning to Perform Optimal Aerial Monitoring with Delivery Drones”, International Conference on Unmanned Aircraft Systems (ICUAS), 2021.

15. A.T. Buyukkocak, D. Aksaray, and Y. Yazicioglu, “Planning of Heterogeneous Multi-Agent Systems under Signal Temporal Logic Specifications with Integral Predicates”, IEEE International Conference on Robotics and Automation (ICRA), 2021.

16. A.T. Buyukkocak, D. Aksaray, and Y. Yazicioglu, “Control Synthesis using Signal Temporal Logic Specifications with Integral and Derivative Predicates”, American Control Conference, 2021.

17. D. Aksaray, “Resilient Satisfaction of Persistent and Safety Specifications by Autonomous Systems”, AIAA Scitech Forum, 2021.

18. A.T. Buyukkocak, D. Aksaray, and Y. Yazicioglu, “Distributed Planning of Multi-Agent Systems with Coupled Temporal Logic Specifications”, AIAA Scitech Forum, 2021.

19. A.S. Asarkaya, D. Aksaray, and Y. Yazicioglu, “Persistent Aerial Monitoring under Unknown Stochastic Dynamics in Pick-up and Delivery Missions”, AIAA Scitech Forum, 2021.

20. R. Peterson, A.T. Buyukkocak, D. Aksaray, and Y. Yazicioglu, “Decentralized Safe Reactive Planning under TWTL Specifications”, IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), Las Vegas, NV, 2020. 

21. H. Venkataraman, D. Aksaray, and P. Seiler, “Tractable Reinforcement Learning with Signal Temporal Logic Specifications”, 2nd Learning for Dynamics and Control (L4DC) Conference, 2020.

22. S. Seyedi, Y. Yazicioglu, and D. Aksaray, “Persistent Surveillance with Energy-Constrained UAVs and Mobile Charging Stations”, IFAC Workshop in Distributed Estimation and Control in Networked Systems, Chicago, IL, 2019.

23. R. Bhat, Y. Yazicioglu, and D. Aksaray, “Distributed Path Planning for Executing Cooperative Tasks with Time Windows”, IFAC Workshop in Distributed Estimation and Control in Networked Systems, Chicago, IL, 2019.

24. K.E. Schaefer, B.S. Perelman, R.W. Brewer, J. Wright, N. Roy, and D. Aksaray, “Quantifying Human Decision-Making: Implications for Bidirectional Communication in Human-Robot Teams”, International Conference on Virtual, Augmented, and Mixed Reality, 361-379, 2018.

25. M. Tucker, D. Aksaray, R. Paul, G.J. Stein and N. Roy, “Learning Unknown Groundings for Natural Language Interaction with Mobile Robots”, International Symposium on Robotics Research (ISRR), 2017.

26. K. E. Schaefer, J. Y. C. Chen, J. Wright, D. Aksaray, N. Roy, “Challenges with Incorporating Context into Human-Robot Teaming”, AAAI Spring Symposium, 2017. 

27. K. Leahy, D. Aksaray, and C. Belta, “Informative Path Planning under Temporal Logic Constraints with Performance Guarantees”, American Control Conference, Seattle, WA, 2017.

28. 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.

29. D. Aksaray, C.I. Vasile, and C. Belta, “Dynamic Routing for Energy-Aware Vehicles with Temporal Logic Constraints”, IEEE International Conference on Robotics and Automation, Stockholm, Sweden, 2016. 

30. D. Aksaray, K. Leahy, and C. Belta, “Distributed Multi-Agent Persistent Surveillance Under Temporal Logic Constraints”, 5thIFAC Workshop in Distributed Estimation and Control in Networked Systems, Philadelphia, PA, 2015.

31. D. Aksaray, K. Griendling, and D. Mavris, “UAVs for Law Enforcement: A Case Study for Connectivity and Energy Management”, 14th AIAA Aviation Technology, Integration, and Operations Conference, Atlanta, GA, 2014.

32. D. Aksaray and D. Mavris, “Maintaining Connectivity for Networked Mobile Systems in the Presence of Agent Loss”, AIAA Guidance, Navigation, and Control Conference, Boston, MA, 2013. 

33. D. Aksaray and D. Mavris, “A Trajectory Tracking Algorithm for a Hopping Rotochute Using Surrogate Models”, American Control Conference, Washington, DC, June 2013. (Best Presentation in Session)

34. D. Aksaray and D.Mavris, “Statistical Stability and Control Analysis to Investigate the Control Effort of Improving Handling Quality Characteristics”, International Council of Aeronautical Sciences, Brisbane, Australia, 2012.

35. D. Aksaray, Y. Li, and D. Mavris, "Development and Implementation of a Hybrid Multi-Criteria Decision Making Technique", 11th AIAA Aviation Technology, Integration, and Operations Conference, Virginia Beach, VA, 2011.

36. D. Mavris, D. Aksaray, S. Dufresne, B. Cole, C. Raczynski, Z. Mian, and S. Zarovy, "Micro-Autonomous Systems and Technologies (MAST) Integrated Design, Analysis and Simulation", Ankara International Aerospace Conference, Ankara, Turkey, 2009. 

Book Chapters

1. K.E. Schaefer, D. Aksaray, J.L. Wright, and N. Roy, “Challenges with addressing the issue of context within AI and human-robot teaming”, In Computational Context: The value, theory and application of context with AI eds. W. Lawless, R. Mittu, & D. Sofge, CRC Press, 2019, https://doi.org/10.1201/9780429453151