A trajectory tracking algorithm for a hopping rotochute using surrogate models. - Derya Aksaray; Dimitri N. Mavris (ACC, 2013)

A Message Passing Strategy for Decentralized Connectivity Maintenance in Agent Removal. - Derya Aksaray; Ahmet Yasin Yazicioglu; Eric Feron; Dimitri N. Mavris (CoRR, 2013)

Enforcing temporal logic specifications via reinforcement learning. - Austin Jones; Derya Aksaray; Zhaodan Kong; Mac Schwager; Calin Belta (HSCC, 2015)

Robust Satisfaction of Temporal Logic Specifications via Reinforcement Learning. - Austin Jones; Derya Aksaray; Zhaodan Kong; Mac Schwager; Calin Belta (CoRR, 2015)

Formulation of control strategies for requirement definition of multi-agent surveillance systems. - Derya Aksaray (2015)

Q-Learning for robust satisfaction of signal temporal logic specifications. - Derya Aksaray; Austin Jones; Zhaodan Kong; Mac Schwager; Calin Belta (CDC, 2016)

Dynamic routing of energy-aware vehicles with Temporal Logic Constraints. - Derya Aksaray; Cristian Ioan Vasile; Calin Belta (ICRA, 2016)

Challenges with Incorporating Context into Human-Robot Teaming. - Kristin E. Schaefer; Jessie Y. C. Chen; Julia L. Wright; Derya Aksaray; Nicholas Roy (AAAI Spring Symposia, 2017)

Informative path planning under temporal logic constraints with performance guarantees. - Kevin J. Leahy; Derya Aksaray; Calin Belta (ACC, 2017)

Learning Unknown Groundings for Natural Language Interaction with Mobile Robots. - Mycal Tucker; Derya Aksaray; Rohan Paul; Gregory J. Stein; Nicholas Roy (ISRR, 2017)

Time window temporal logic. - Cristian Ioan Vasile; Derya Aksaray; Calin Belta (Theor. Comput. Sci., 2017)

Quantifying Human Decision-Making: Implications for Bidirectional Communication in Human-Robot Teams. - Kristin E. Schaefer; Brandon S. Perelman; Ralph W. Brewer; Julia L. Wright; Nicholas Roy; Derya Aksaray (HCI (9), 2018)

Efficient grounding of abstract spatial concepts for natural language interaction with robot platforms. - Rohan Paul; Jacob Arkin; Derya Aksaray; Nicholas Roy; Thomas M. Howard (Int. J. Robotics Res., 2018)

Integrating Context into Artificial Intelligence: Research from the Robotics Collaborative Technology Alliance. - Kristin E. Schaefer; Jean Oh; Derya Aksaray; Daniel Barber (AI Mag., 2019)

Distributed Path Planning for Executing Cooperative Tasks with Time Windows. - Raghavendra Bhat; Ahmet Yasin Yazicioglu; Derya Aksaray (CoRR, 2019)

Persistent Surveillance With Energy-Constrained UAVs and Mobile Charging Stations. - Sepehr Seyedi; Yasin Yazicioglu; Derya Aksaray (CoRR, 2019)

Decentralized Safe Reactive Planning under TWTL Specifications. - Ryan Peterson 004; Ali Tevfik Buyukkocak; Derya Aksaray; Yasin Yazicioglu (IROS, 2020)

Tractable Reinforcement Learning of Signal Temporal Logic Objectives. - Harish K. Venkataraman; Derya Aksaray; Peter Seiler 001 (L4DC, 2020)

Control Synthesis using Signal Temporal Logic Specifications with Integral and Derivative Predicates. - Ali Tevfik Buyukkocak; Derya Aksaray; Yasin Yazicioglu (ACC, 2021)

Probabilistically Guaranteed Satisfaction of Temporal Logic Constraints During Reinforcement Learning. - Derya Aksaray; Yasin Yazicioglu; Ahmet Semi Asarkaya (IROS, 2021)

Distributed Planning for Serving Cooperative Tasks with Time Windows: A Game Theoretic Approach. - Yasin Yazicioglu; Raghavendra Bhat; Derya Aksaray (J. Intell. Robotic Syst., 2021)

Planning of Heterogeneous Multi-Agent Systems Under Signal Temporal Logic Specifications With Integral Predicates. - Ali Tevfik Buyukkocak; Derya Aksaray; Yasin Yazicioglu (IEEE Robotics Autom. Lett., 2021)

Distributed safe planning for satisfying minimal temporal relaxations of TWTL specifications. - Ryan Peterson 004; Ali Tevfik Buyukkocak; Derya Aksaray; Yasin Yazicioglu (Robotics Auton. Syst., 2021)

Temporal Relaxation of Signal Temporal Logic Specifications for Resilient Control Synthesis. - Ali Tevfik Buyukkocak; Derya Aksaray (CDC, 2022)

Control Barrier Functions with Actuation Constraints under Signal Temporal Logic Specifications. - Ali Tevfik Buyukkocak; Derya Aksaray; Yasin Yazicioglu (ECC, 2022)

Robust Planning for Persistent Surveillance With Energy-Constrained UAVs and Mobile Charging Stations. - Xiaoshan Lin; Yasin Yazicioglu; Derya Aksaray (IEEE Robotics Autom. Lett., 2022)

Iterative Planner/Controller Design to Satisfy Signal Temporal Logic Specifications. - Ali Tevfik Buyukkocak; Peter J. Seiler; Derya Aksaray; Vijay Gupta 001 (ACC, 2023)

Energy-Aware Planning of Heterogeneous Multi-Agent Systems for Serving Cooperative Tasks with Temporal Logic Specifications. - Ali Tevfik Buyukkocak; Derya Aksaray; Yasin Yazicioglu (IROS, 2023)

Reinforcement Learning Under Probabilistic Spatio-Temporal Constraints with Time Windows. - Xiaoshan Lin; Abbasali Koochakzadeh; Yasin Yazicioglu; Derya Aksaray (IROS, 2023)

Sequential control barrier functions for mobile robots with dynamic temporal logic specifications. - Ali Tevfik Buyukkocak; Derya Aksaray; Yasin Yazicioglu (Robotics Auton. Syst., 2024)

Probabilistic Satisfaction of Temporal Logic Constraints in Reinforcement Learning via Adaptive Policy-Switching. - Xiaoshan Lin; Sadik Bera Yüksel; Yasin Yazicioglu; Derya Aksaray (L4DC, 2025)

Resilient Online Planning for Mobile Robots With Minimal Relaxation of Signal Temporal Logic Specifications. - Ali Tevfik Buyukkocak; Derya Aksaray (IEEE Robotics Autom. Lett., 2025)