2 citations · 2 across the 4 of their papers we have counts for
5 papers
Shielded Reinforcement Learning Under Dynamic Temporal Logic Constraints
Sadık Bera Yüksel, Ali Tevfik Buyukkocak, Derya Aksaray
Reinforcement Learning (RL) has shown promise in various robotics applications, yet its deployment on real systems is still limited due to safety and operational constraints. The s…
Temporal Relaxation of Signal Temporal Logic Specifications for Resilient Control Synthesis
Ali Tevfik Buyukkocak, Derya Aksaray
We introduce a metric that can quantify the temporal relaxation of Signal Temporal Logic (STL) specifications and facilitate resilient control synthesis in the face of infeasibilit…
Control Barrier Functions with Actuation Constraints under Signal Temporal Logic Specifications
Ali Tevfik Buyukkocak, Derya Aksaray, Yasin Yazıcıoğlu
We propose control barrier functions (CBFs) for a family of dynamical systems to satisfy a broad fragment of Signal Temporal Logic (STL) specifications, which may include subtasks…
Control Synthesis using Signal Temporal Logic Specifications with Integral and Derivative Predicates
Ali Tevfik Buyukkocak, Derya Aksaray, Yasin Yazıcıoğlu
In many applications, the integrals and derivatives of signals carry valuable information (e.g., cumulative success over a time window, the rate of change) regarding the behavior o…
Decentralized Safe Reactive Planning under TWTL Specifications
Ryan Peterson, Ali Tevfik Buyukkocak, Derya Aksaray +1
We investigate a multi-agent planning problem, where each agent aims to achieve an individual task while avoiding collisions with others. We assume that each agent's task is expres…