no code implementations • 30 Sep 2020 • Kevin Leahy, Austin Jones, Cristian-Ioan Vasile
In this work, we focus on decomposing large multi-agent path planning problems with global temporal logic goals (common to all agents) into smaller sub-problems that can be solved and executed independently.
no code implementations • 23 Sep 2016 • Derya Aksaray, Austin Jones, Zhaodan Kong, Mac Schwager, Calin Belta
This paper addresses the problem of learning optimal policies for satisfying signal temporal logic (STL) specifications by agents with unknown stochastic dynamics.
Systems and Control
no code implementations • 9 Sep 2013 • Austin Jones, Mac Schwager, Calin Belta
We present a new temporal logic called Distribution Temporal Logic (DTL) defined over predicates of belief states and hidden states of partially observable systems.