Derya Aksaray - RankMe

50 papers A* 1A 4C 6Journal 29Unranked 9

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Contingency-Aware Planning via Certified Neural Hamilton-Jacobi Reachability. CoRR Kasidit Muenprasitivej, Derya Aksaray
2026	J	`jnl`	Shielded Reinforcement Learning Under Dynamic Temporal Logic Constraints. CoRR Sadik Bera Yüksel, Ali Tevfik Buyukkocak, Derya Aksaray
2026	J	`jnl`	Specification-Aware Distribution Shaping for Robotics Foundation Models. CoRR Sadik Bera Yüksel, Derya Aksaray
2026	J	`jnl`	Temporal-Logic-Aware Frontier-Based Exploration. CoRR Azizollah Taheri, Derya Aksaray
2025	J	`jnl`	Motion Planning Under Temporal Logic Specifications In Semantically Unknown Environments. CoRR Azizollah Taheri, Derya Aksaray
2025	C	`conf`	Pareto-Optimal Interventions in Gene Regulatory Networks using Signal Temporal Logic. ACC Seyed Hamid Hosseini, Derya Aksaray, Mahdi Imani
2025	—	`conf`	Probabilistic Satisfaction of Temporal Logic Constraints in Reinforcement Learning via Adaptive Policy-Switching. L4DC Xiaoshan Lin, Sadik Bera Yüksel, Yasin Yazicioglu, Derya Aksaray
2025	J	`jnl`	Resilient Online Planning for Mobile Robots With Minimal Relaxation of Signal Temporal Logic Specifications. IEEE Robotics Autom. Lett. Ali Tevfik Buyukkocak, Derya Aksaray
2025	—	`conf`	Robust Temporal Logic Planning Under Contingency Constraints. CASE Sadik Bera Yüksel, Azizollah Taheri, Yasin Yazicioglu, Derya Aksaray
2024	J	`jnl`	Probabilistic Satisfaction of Temporal Logic Constraints in Reinforcement Learning via Adaptive Policy-Switching. CoRR Xiaoshan Lin, Sadik Bera Yüksel, Yasin Yazicioglu, Derya Aksaray
2024	J	`jnl`	Sequential control barrier functions for mobile robots with dynamic temporal logic specifications. Robotics Auton. Syst. Ali Tevfik Buyukkocak, Derya Aksaray, Yasin Yazicioglu
2023	A	`conf`	Energy-Aware Planning of Heterogeneous Multi-Agent Systems for Serving Cooperative Tasks with Temporal Logic Specifications. IROS Ali Tevfik Buyukkocak, Derya Aksaray, Yasin Yazicioglu
2023	C	`conf`	Iterative Planner/Controller Design to Satisfy Signal Temporal Logic Specifications. ACC Ali Tevfik Buyukkocak, Peter J. Seiler, Derya Aksaray, Vijay Gupta
2023	A	`conf`	Reinforcement Learning Under Probabilistic Spatio-Temporal Constraints with Time Windows. IROS Xiaoshan Lin, Abbasali Koochakzadeh, Yasin Yazicioglu, Derya Aksaray
2023	J	`jnl`	Reinforcement Learning Under Probabilistic Spatio-Temporal Constraints with Time Windows. CoRR Xiaoshan Lin, Abbasali Koochakzadeh, Yasin Yazicioglu, Derya Aksaray
2022	—	`conf`	Control Barrier Functions with Actuation Constraints under Signal Temporal Logic Specifications. ECC Ali Tevfik Buyukkocak, Derya Aksaray, Yasin Yazicioglu
2022	J	`jnl`	Control Barrier Functions with Actuation Constraints under Signal Temporal Logic Specifications. CoRR Ali Tevfik Buyukkocak, Derya Aksaray, Yasin Yazicioglu
2022	J	`jnl`	Robust Planning for Persistent Surveillance With Energy-Constrained UAVs and Mobile Charging Stations. IEEE Robotics Autom. Lett. Xiaoshan Lin, Yasin Yazicioglu, Derya Aksaray
2022	—	`conf`	Temporal Relaxation of Signal Temporal Logic Specifications for Resilient Control Synthesis. CDC Ali Tevfik Buyukkocak, Derya Aksaray
2022	J	`jnl`	Temporal Relaxation of Signal Temporal Logic Specifications for Resilient Control Synthesis. CoRR Ali Tevfik Buyukkocak, Derya Aksaray
2021	C	`conf`	Control Synthesis using Signal Temporal Logic Specifications with Integral and Derivative Predicates. ACC Ali Tevfik Buyukkocak, Derya Aksaray, Yasin Yazicioglu
2021	J	`jnl`	Control Synthesis using Signal Temporal Logic Specifications with Integral and Derivative Predicates. CoRR Ali Tevfik Buyukkocak, Derya Aksaray, Yasin Yazicioglu
2021	J	`jnl`	Distributed Planning for Serving Cooperative Tasks with Time Windows: A Game Theoretic Approach. CoRR Yasin Yazicioglu, Raghavendra Bhat, Derya Aksaray
2021	J	`jnl`	Distributed Planning for Serving Cooperative Tasks with Time Windows: A Game Theoretic Approach. J. Intell. Robotic Syst. Yasin Yazicioglu, Raghavendra Bhat, Derya Aksaray
2021	J	`jnl`	Distributed safe planning for satisfying minimal temporal relaxations of TWTL specifications. Robotics Auton. Syst. Ryan Peterson, Ali Tevfik Buyukkocak, Derya Aksaray, Yasin Yazicioglu
2021	J	`jnl`	Planning of Heterogeneous Multi-Agent Systems Under Signal Temporal Logic Specifications With Integral Predicates. IEEE Robotics Autom. Lett. Ali Tevfik Buyukkocak, Derya Aksaray, Yasin Yazicioglu
2021	A	`conf`	Probabilistically Guaranteed Satisfaction of Temporal Logic Constraints During Reinforcement Learning. IROS Derya Aksaray, Yasin Yazicioglu, Ahmet Semi Asarkaya
2021	J	`jnl`	Probabilistically Guaranteed Satisfaction of Temporal Logic Constraints During Reinforcement Learning. CoRR Derya Aksaray, Yasin Yazicioglu, Ahmet Semi Asarkaya
2020	A	`conf`	Decentralized Safe Reactive Planning under TWTL Specifications. IROS Ryan Peterson, Ali Tevfik Buyukkocak, Derya Aksaray, Yasin Yazicioglu
2020	J	`jnl`	Decentralized Safe Reactive Planning under TWTL Specifications. CoRR Ryan Peterson, Ali Tevfik Buyukkocak, Derya Aksaray, Yasin Yazicioglu
2020	—	`conf`	Tractable Reinforcement Learning of Signal Temporal Logic Objectives. L4DC Harish K. Venkataraman, Derya Aksaray, Peter Seiler
2020	J	`jnl`	Tractable Reinforcement Learning of Signal Temporal Logic Objectives. CoRR Harish K. Venkataraman, Derya Aksaray, Peter Seiler
2019	J	`jnl`	Distributed Path Planning for Executing Cooperative Tasks with Time Windows. CoRR Raghavendra Bhat, Ahmet Yasin Yazicioglu, Derya Aksaray
2019	J	`jnl`	Integrating Context into Artificial Intelligence: Research from the Robotics Collaborative Technology Alliance. AI Mag. Kristin E. Schaefer, Jean Oh, Derya Aksaray, Daniel Barber
2019	J	`jnl`	Persistent Surveillance With Energy-Constrained UAVs and Mobile Charging Stations. CoRR Sepehr Seyedi, Yasin Yazicioglu, Derya Aksaray
2018	J	`jnl`	Efficient grounding of abstract spatial concepts for natural language interaction with robot platforms. Int. J. Robotics Res. Rohan Paul, Jacob Arkin, Derya Aksaray, Nicholas Roy, Thomas M. Howard
2018	—	`conf`	Quantifying Human Decision-Making: Implications for Bidirectional Communication in Human-Robot Teams. HCI (9) Kristin E. Schaefer, Brandon S. Perelman, Ralph W. Brewer, Julia L. Wright, Nicholas Roy, Derya Aksaray
2017	—	`conf`	Challenges with Incorporating Context into Human-Robot Teaming. AAAI Spring Symposia Kristin E. Schaefer, Jessie Y. C. Chen, Julia L. Wright, Derya Aksaray, Nicholas Roy
2017	C	`conf`	Informative path planning under temporal logic constraints with performance guarantees. ACC Kevin J. Leahy, Derya Aksaray, Calin Belta
2017	C	`conf`	Learning Unknown Groundings for Natural Language Interaction with Mobile Robots. ISRR Mycal Tucker, Derya Aksaray, Rohan Paul, Gregory J. Stein, Nicholas Roy
2017	J	`jnl`	Time window temporal logic. Theor. Comput. Sci. Cristian Ioan Vasile, Derya Aksaray, Calin Belta
2016	A*	`conf`	Dynamic routing of energy-aware vehicles with Temporal Logic Constraints. ICRA Derya Aksaray, Cristian Ioan Vasile, Calin Belta
2016	J	`jnl`	Q-Learning for Robust Satisfaction of Signal Temporal Logic Specifications. CoRR Derya Aksaray, Austin Jones, Zhaodan Kong, Mac Schwager, Calin Belta
2016	—	`conf`	Q-Learning for robust satisfaction of signal temporal logic specifications. CDC Derya Aksaray, Austin Jones, Zhaodan Kong, Mac Schwager, Calin Belta
2016	J	`jnl`	Time Window Temporal Logic. CoRR Cristian Ioan Vasile, Derya Aksaray, Calin Belta
2015	—	`conf`	Enforcing temporal logic specifications via reinforcement learning. HSCC Austin Jones, Derya Aksaray, Zhaodan Kong, Mac Schwager, Calin Belta
2015	—	`—`	Formulation of control strategies for requirement definition of multi-agent surveillance systems. Derya Aksaray
2015	J	`jnl`	Robust Satisfaction of Temporal Logic Specifications via Reinforcement Learning. CoRR Austin Jones, Derya Aksaray, Zhaodan Kong, Mac Schwager, Calin Belta
2013	J	`jnl`	A Message Passing Strategy for Decentralized Connectivity Maintenance in Agent Removal. CoRR Derya Aksaray, Ahmet Yasin Yazicioglu, Eric Feron, Dimitri N. Mavris
2013	C	`conf`	A trajectory tracking algorithm for a hopping rotochute using surrogate models. ACC Derya Aksaray, Dimitri N. Mavris