13 citations · 13 across the 1 of their papers we have counts for
5 papers
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…
Tractable Reinforcement Learning of Signal Temporal Logic Objectives
Harish Venkataraman, Derya Aksaray, Peter Seiler
Signal temporal logic (STL) is an expressive language to specify time-bound real-world robotic tasks and safety specifications. Recently, there has been an interest in learning opt…
Persistent Surveillance With Energy-Constrained UAVs and Mobile Charging Stations
Sepehr Seyedi, Yasin Yazicioglu, Derya Aksaray
We address the problem of achieving persistent surveillance over an environment by using energy-constrained unmanned aerial vehicles (UAVs), which are supported by unmanned ground…
Distributed Path Planning for Executing Cooperative Tasks with Time Windows
Raghavendra Bhat, Yasin Yazicioglu, Derya Aksaray
We investigate the distributed planning of robot trajectories for optimal execution of cooperative tasks with time windows. In this setting, each task has a value and is completed…
Time Window Temporal Logic
Cristian-Ioan Vasile, Derya Aksaray, Calin Belta
This paper introduces time window temporal logic (TWTL), a rich expressivity language for describing various time bounded specifications. In particular, the syntax and semantics of…