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:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
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
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
Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2020