13 citations · 16 across the 11 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
cs.RO2020
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…
cs.LG2020★ 13 cited
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…