Ali Tevfik Buyukkocak

15 papers A 2C 2Journal 9Unranked 2
YearRankTypeTitle / Venue / Authors
2026 J jnl
Shielded Reinforcement Learning Under Dynamic Temporal Logic Constraints.
CoRR
Sadik Bera Yüksel, Ali Tevfik Buyukkocak, 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
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
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 — 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 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
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