32 citations · 51 across the 4 of their papers we have counts for
Showing eess.SYShow all
2 papers · 1 filter
eess.SY2016★ 4 cited
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…
eess.SY2015★ 14 cited
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…