Ali Tevfik Buyukkocak

According to our database, Ali Tevfik Buyukkocak authored at least 11 papers between 2020 and 2026.

Collaborative distances:

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

2026

Shielded Reinforcement Learning Under Dynamic Temporal Logic Constraints.

Sadik Bera Yüksel, Ali Tevfik Buyukkocak, Derya Aksaray

CoRR, March, 2026

2025

Resilient Online Planning for Mobile Robots With Minimal Relaxation of Signal Temporal Logic Specifications.

Ali Tevfik Buyukkocak, Derya Aksaray

IEEE Robotics Autom. Lett., June, 2025

2024

Sequential control barrier functions for mobile robots with dynamic temporal logic specifications.

Ali Tevfik Buyukkocak, Derya Aksaray, Yasin Yazicioglu

Robotics Auton. Syst., 2024

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

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

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

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