Decentralized Safe Reactive Planning under TWTL Specifications. - Ryan Peterson 004; Ali Tevfik Buyukkocak; Derya Aksaray; Yasin Yazicioglu (IROS, 2020)

Control Synthesis using Signal Temporal Logic Specifications with Integral and Derivative Predicates. - Ali Tevfik Buyukkocak; Derya Aksaray; Yasin Yazicioglu (ACC, 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)

Distributed safe planning for satisfying minimal temporal relaxations of TWTL specifications. - Ryan Peterson 004; Ali Tevfik Buyukkocak; Derya Aksaray; Yasin Yazicioglu (Robotics Auton. Syst., 2021)

Temporal Relaxation of Signal Temporal Logic Specifications for Resilient Control Synthesis. - Ali Tevfik Buyukkocak; Derya Aksaray (CDC, 2022)

Control Barrier Functions with Actuation Constraints under Signal Temporal Logic Specifications. - Ali Tevfik Buyukkocak; Derya Aksaray; Yasin Yazicioglu (ECC, 2022)

Iterative Planner/Controller Design to Satisfy Signal Temporal Logic Specifications. - Ali Tevfik Buyukkocak; Peter J. Seiler; Derya Aksaray; Vijay Gupta 001 (ACC, 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)

Sequential control barrier functions for mobile robots with dynamic temporal logic specifications. - Ali Tevfik Buyukkocak; Derya Aksaray; Yasin Yazicioglu (Robotics Auton. Syst., 2024)

Resilient Online Planning for Mobile Robots With Minimal Relaxation of Signal Temporal Logic Specifications. - Ali Tevfik Buyukkocak; Derya Aksaray (IEEE Robotics Autom. Lett., 2025)