Derya Aksaray

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 35

Top Topics

Satisfiability Problem

Formal Specification Language

Reinforcement Learning

Top Venues

IEEE Robotics Autom. Lett.

Publications

Ali Tevfik Buyukkocak, Derya Aksaray, Yasin Yazicioglu
Sequential control barrier functions for mobile robots with dynamic temporal logic specifications. Robotics Auton. Syst. 176 (2024)
Xiaoshan Lin, Abbasali Koochakzadeh, Yasin Yazicioglu, Derya Aksaray
Reinforcement Learning Under Probabilistic Spatio-Temporal Constraints with Time Windows. IROS (2023)
Xiaoshan Lin, Abbasali Koochakzadeh, Yasin Yazicioglu, Derya Aksaray
Reinforcement Learning Under Probabilistic Spatio-Temporal Constraints with Time Windows. CoRR (2023)
Ali Tevfik Buyukkocak, Derya Aksaray, Yasin Yazicioglu
Energy-Aware Planning of Heterogeneous Multi-Agent Systems for Serving Cooperative Tasks with Temporal Logic Specifications. IROS (2023)
Ali Tevfik Buyukkocak, Peter J. Seiler, Derya Aksaray, Vijay Gupta
Iterative Planner/Controller Design to Satisfy Signal Temporal Logic Specifications. ACC (2023)
Ali Tevfik Buyukkocak, Derya Aksaray
Temporal Relaxation of Signal Temporal Logic Specifications for Resilient Control Synthesis. CoRR (2022)
Ali Tevfik Buyukkocak, Derya Aksaray, Yasin Yazicioglu
Control Barrier Functions with Actuation Constraints under Signal Temporal Logic Specifications. ECC (2022)
Ali Tevfik Buyukkocak, Derya Aksaray
Temporal Relaxation of Signal Temporal Logic Specifications for Resilient Control Synthesis. CDC (2022)
Ali Tevfik Buyukkocak, Derya Aksaray, Yasin Yazicioglu
Control Barrier Functions with Actuation Constraints under Signal Temporal Logic Specifications. CoRR (2022)
Xiaoshan Lin, Yasin Yazicioglu, Derya Aksaray
Robust Planning for Persistent Surveillance With Energy-Constrained UAVs and Mobile Charging Stations. IEEE Robotics Autom. Lett. 7 (2) (2022)
Derya Aksaray, Yasin Yazicioglu, Ahmet Semi Asarkaya
Probabilistically Guaranteed Satisfaction of Temporal Logic Constraints During Reinforcement Learning. CoRR (2021)
Ali Tevfik Buyukkocak, Derya Aksaray, Yasin Yazicioglu
Control Synthesis using Signal Temporal Logic Specifications with Integral and Derivative Predicates. CoRR (2021)
Yasin Yazicioglu, Raghavendra Bhat, Derya Aksaray
Distributed Planning for Serving Cooperative Tasks with Time Windows: A Game Theoretic Approach. J. Intell. Robotic Syst. 103 (2) (2021)
Yasin Yazicioglu, Raghavendra Bhat, Derya Aksaray
Distributed Planning for Serving Cooperative Tasks with Time Windows: A Game Theoretic Approach. CoRR (2021)
Ryan Peterson, Ali Tevfik Buyukkocak, Derya Aksaray, Yasin Yazicioglu
Distributed safe planning for satisfying minimal temporal relaxations of TWTL specifications. Robotics Auton. Syst. 142 (2021)
Ali Tevfik Buyukkocak, Derya Aksaray, Yasin Yazicioglu
Control Synthesis using Signal Temporal Logic Specifications with Integral and Derivative Predicates. ACC (2021)
Derya Aksaray, Yasin Yazicioglu, Ahmet Semi Asarkaya
Probabilistically Guaranteed Satisfaction of Temporal Logic Constraints During Reinforcement Learning. IROS (2021)
Ali Tevfik Buyukkocak, Derya Aksaray, Yasin Yazicioglu
Planning of Heterogeneous Multi-Agent Systems Under Signal Temporal Logic Specifications With Integral Predicates. IEEE Robotics Autom. Lett. 6 (2) (2021)
Ryan Peterson, Ali Tevfik Buyukkocak, Derya Aksaray, Yasin Yazicioglu
Decentralized Safe Reactive Planning under TWTL Specifications. CoRR (2020)
Harish K. Venkataraman, Derya Aksaray, Peter J. Seiler
Tractable Reinforcement Learning of Signal Temporal Logic Objectives. CoRR (2020)
Ryan Peterson, Ali Tevfik Buyukkocak, Derya Aksaray, Yasin Yazicioglu
Decentralized Safe Reactive Planning under TWTL Specifications. IROS (2020)
Harish K. Venkataraman, Derya Aksaray, Peter J. Seiler
Tractable Reinforcement Learning of Signal Temporal Logic Objectives. L4DC (2020)
Raghavendra Bhat, Ahmet Yasin Yazicioglu, Derya Aksaray
Distributed Path Planning for Executing Cooperative Tasks with Time Windows. CoRR (2019)
Sepehr Seyedi, Yasin Yazicioglu, Derya Aksaray
Persistent Surveillance With Energy-Constrained UAVs and Mobile Charging Stations. CoRR (2019)
Kristin E. Schaefer, Jean Oh, Derya Aksaray, Daniel Barber
Integrating Context into Artificial Intelligence: Research from the Robotics Collaborative Technology Alliance. AI Mag. 40 (3) (2019)
Rohan Paul, Jacob Arkin, Derya Aksaray, Nicholas Roy, Thomas M. Howard
Efficient grounding of abstract spatial concepts for natural language interaction with robot platforms. Int. J. Robotics Res. 37 (10) (2018)
Kristin E. Schaefer, Brandon S. Perelman, Ralph W. Brewer, Julia L. Wright, Nicholas Roy, Derya Aksaray
Quantifying Human Decision-Making: Implications for Bidirectional Communication in Human-Robot Teams. HCI (9) (2018)
Mycal Tucker, Derya Aksaray, Rohan Paul, Gregory J. Stein, Nicholas Roy
Learning Unknown Groundings for Natural Language Interaction with Mobile Robots. ISRR (2017)
Kevin J. Leahy, Derya Aksaray, Calin Belta
Informative path planning under temporal logic constraints with performance guarantees. ACC (2017)
Kristin E. Schaefer, Jessie Y. C. Chen, Julia L. Wright, Derya Aksaray, Nicholas Roy
Challenges with Incorporating Context into Human-Robot Teaming. AAAI Spring Symposia (2017)
Cristian Ioan Vasile, Derya Aksaray, Calin Belta
Time window temporal logic. Theor. Comput. Sci. 691 (2017)
Derya Aksaray, Austin Jones, Zhaodan Kong, Mac Schwager, Calin Belta
Q-Learning for robust satisfaction of signal temporal logic specifications. CDC (2016)
Derya Aksaray, Austin Jones, Zhaodan Kong, Mac Schwager, Calin Belta
Q-Learning for Robust Satisfaction of Signal Temporal Logic Specifications. CoRR (2016)
Cristian Ioan Vasile, Derya Aksaray, Calin Belta
Time Window Temporal Logic. CoRR (2016)
Derya Aksaray, Cristian Ioan Vasile, Calin Belta
Dynamic routing of energy-aware vehicles with Temporal Logic Constraints. ICRA (2016)
Austin Jones, Derya Aksaray, Zhaodan Kong, Mac Schwager, Calin Belta
Robust Satisfaction of Temporal Logic Specifications via Reinforcement Learning. CoRR (2015)
Austin Jones, Derya Aksaray, Zhaodan Kong, Mac Schwager, Calin Belta
Enforcing temporal logic specifications via reinforcement learning. HSCC (2015)
Derya Aksaray, Ahmet Yasin Yazicioglu, Eric Feron, Dimitri N. Mavris
A Message Passing Strategy for Decentralized Connectivity Maintenance in Agent Removal. CoRR (2013)
Derya Aksaray, Dimitri N. Mavris
A trajectory tracking algorithm for a hopping rotochute using surrogate models. ACC (2013)