Ali Tevfik Buyukkocak

Orcid: 0000-0002-2332-2761

According to our database1, Ali Tevfik Buyukkocak authored at least 9 papers between 2020 and 2024.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Sequential control barrier functions for mobile robots with dynamic temporal logic specifications.
Robotics Auton. Syst., 2024

2023
Energy-Aware Planning of Heterogeneous Multi-Agent Systems for Serving Cooperative Tasks with Temporal Logic Specifications.
IROS, 2023

Iterative Planner/Controller Design to Satisfy Signal Temporal Logic Specifications.
Proceedings of the American Control Conference, 2023

2022
Control Barrier Functions with Actuation Constraints under Signal Temporal Logic Specifications.
Proceedings of the European Control Conference, 2022

Temporal Relaxation of Signal Temporal Logic Specifications for Resilient Control Synthesis.
Proceedings of the 61st IEEE Conference on Decision and Control, 2022

2021
Distributed safe planning for satisfying minimal temporal relaxations of TWTL specifications.
Robotics Auton. Syst., 2021

Planning of Heterogeneous Multi-Agent Systems Under Signal Temporal Logic Specifications With Integral Predicates.
IEEE Robotics Autom. Lett., 2021

Control Synthesis using Signal Temporal Logic Specifications with Integral and Derivative Predicates.
Proceedings of the 2021 American Control Conference, 2021

2020
Decentralized Safe Reactive Planning under TWTL Specifications.
Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2020


  Loading...