Ali Tevfik Buyukkocak

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 13

Top Topics

Mazurkiewicz Traces

Formal Specification Language

Reactive Planning

Top Venues

Robotics Auton. Syst.

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)
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)
Ali Tevfik Buyukkocak, Derya Aksaray, Yasin Yazicioglu
Control Synthesis using Signal Temporal Logic Specifications with Integral and Derivative Predicates. 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)
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)
Ryan Peterson, Ali Tevfik Buyukkocak, Derya Aksaray, Yasin Yazicioglu
Decentralized Safe Reactive Planning under TWTL Specifications. IROS (2020)