13 citations · 16 across the 11 of their papers we have counts for
3 papers · 1 filter
Distributed Planning for Serving Cooperative Tasks with Time Windows: A Game Theoretic Approach
Yasin Yazicioglu, Raghavendra Bhat, Derya Aksaray
We study distributed planning for multi-robot systems to provide optimal service to cooperative tasks that are distributed over space and time. Each task requires service by suffic…
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…
Probabilistically Guaranteed Satisfaction of Temporal Logic Constraints During Reinforcement Learning
Derya Aksaray, Yasin Yazicioglu, Ahmet Semi Asarkaya
We propose a novel constrained reinforcement learning method for finding optimal policies in Markov Decision Processes while satisfying temporal logic constraints with a desired pr…