242 citations · 491 across the 52 of their papers we have counts for
3 papers · 1 filter
GrAVITree: Graph-based Approximate Value Function In a Tree
Patrick H. Washington, David Fridovich-Keil, Mac Schwager
In this paper, we introduce GrAVITree, a tree- and sampling-based algorithm to compute a near-optimal value function and corresponding feedback policy for indefinite time-horizon,…
Q-Learning for Robust Satisfaction of Signal Temporal Logic Specifications
Derya Aksaray, Austin Jones, Zhaodan Kong +2
This paper addresses the problem of learning optimal policies for satisfying signal temporal logic (STL) specifications by agents with unknown stochastic dynamics. The system is mo…
Robust Satisfaction of Temporal Logic Specifications via Reinforcement Learning
Austin Jones, Derya Aksaray, Zhaodan Kong +2
We consider the problem of steering a system with unknown, stochastic dynamics to satisfy a rich, temporally layered task given as a signal temporal logic formula. We represent the…