Derya Aksaray

According to our database, Derya Aksaray authored at least 28 papers between 2013 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Reinforcement Learning Under Probabilistic Spatio-Temporal Constraints with Time Windows.

Xiaoshan Lin, Abbasali Koochakzadeh, Yasin Yazicioglu, Derya Aksaray

IROS, 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

Iterative Planner/Controller Design to Satisfy Signal Temporal Logic Specifications.

Ali Tevfik Buyukkocak, Peter J. Seiler, Derya Aksaray, Vijay Gupta

Proceedings of the American Control Conference, 2023

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

Control Barrier Functions with Actuation Constraints under Signal Temporal Logic Specifications.

Ali Tevfik Buyukkocak, Derya Aksaray, Yasin Yazicioglu

Proceedings of the European Control Conference, 2022

Temporal Relaxation of Signal Temporal Logic Specifications for Resilient Control Synthesis.

Ali Tevfik Buyukkocak, Derya Aksaray

Proceedings of the 61st IEEE Conference on Decision and Control, 2022

2021

Distributed safe planning for satisfying minimal temporal relaxations of TWTL specifications.

Ryan Peterson, Ali Tevfik Buyukkocak, Derya Aksaray, Yasin Yazicioglu

Robotics Auton. 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 Planning for Serving Cooperative Tasks with Time Windows: A Game Theoretic Approach.

Yasin Yazicioglu, Raghavendra Bhat, Derya Aksaray

J. Intell. Robotic Syst., 2021

Probabilistically Guaranteed Satisfaction of Temporal Logic Constraints During Reinforcement Learning.

Derya Aksaray, Yasin Yazicioglu, Ahmet Semi Asarkaya

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2021

Control Synthesis using Signal Temporal Logic Specifications with Integral and Derivative Predicates.

Ali Tevfik Buyukkocak, Derya Aksaray, Yasin Yazicioglu

Proceedings of the 2021 American Control Conference, 2021

2020

Tractable Reinforcement Learning of Signal Temporal Logic Objectives.

Harish K. Venkataraman, Derya Aksaray, Peter Seiler

Proceedings of the 2nd Annual Conference on Learning for Dynamics and Control, 2020

Decentralized Safe Reactive Planning under TWTL Specifications.

Ryan Peterson, Ali Tevfik Buyukkocak, Derya Aksaray, Yasin Yazicioglu

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2020

2019

Persistent Surveillance With Energy-Constrained UAVs and Mobile Charging Stations.

Sepehr Seyedi, Yasin Yazicioglu, Derya Aksaray

CoRR, 2019

Distributed Path Planning for Executing Cooperative Tasks with Time Windows.

Raghavendra Bhat, Ahmet Yasin Yazicioglu, Derya Aksaray

CoRR, 2019

Integrating Context into Artificial Intelligence: Research from the Robotics Collaborative Technology Alliance.

Kristin E. Schaefer, Jean Oh, Derya Aksaray, Daniel Barber

AI Mag., 2019

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

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

Proceedings of the Virtual, Augmented and Mixed Reality: Interaction, Navigation, Visualization, Embodiment, and Simulation, 2018

2017

Time window temporal logic.

Cristian Ioan Vasile, Derya Aksaray, Calin Belta

Theor. Comput. Sci., 2017

Learning Unknown Groundings for Natural Language Interaction with Mobile Robots.

Mycal Tucker, Derya Aksaray, Rohan Paul, Gregory J. Stein, Nicholas Roy

Proceedings of the Robotics Research, The 18th International Symposium, 2017

Informative path planning under temporal logic constraints with performance guarantees.

Kevin J. Leahy, Derya Aksaray, Calin Belta

Proceedings of the 2017 American Control Conference, 2017

Challenges with Incorporating Context into Human-Robot Teaming.

Kristin E. Schaefer, Jessie Y. C. Chen, Julia L. Wright, Derya Aksaray, Nicholas Roy

Proceedings of the 2017 AAAI Spring Symposia, 2017

2016

Dynamic routing of energy-aware vehicles with Temporal Logic Constraints.

Derya Aksaray, Cristian Ioan Vasile, Calin Belta

Proceedings of the 2016 IEEE International Conference on Robotics and Automation, 2016

Q-Learning for robust satisfaction of signal temporal logic specifications.

Derya Aksaray, Austin Jones, Zhaodan Kong, Mac Schwager, Calin Belta

Proceedings of the 55th IEEE Conference on Decision and Control, 2016

2015

Robust Satisfaction of Temporal Logic Specifications via Reinforcement Learning.

Austin Jones, Derya Aksaray, Zhaodan Kong, Mac Schwager, Calin Belta

CoRR, 2015

Enforcing temporal logic specifications via reinforcement learning.

Austin Jones, Derya Aksaray, Zhaodan Kong, Mac Schwager, Calin Belta

Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015

2013

A Message Passing Strategy for Decentralized Connectivity Maintenance in Agent Removal.

Derya Aksaray, Ahmet Yasin Yazicioglu, Eric Feron, Dimitri N. Mavris

CoRR, 2013

A trajectory tracking algorithm for a hopping rotochute using surrogate models.

Derya Aksaray, Dimitri N. Mavris

Proceedings of the American Control Conference, 2013