14 citations · 40 across the 12 of their papers we have counts for
Showing 2016Show 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.SY2016★ 4 cited
Active Requirement Mining of Bounded-Time Temporal Properties of Cyber-Physical Systems
Gang Chen, Zachary Sabato, Zhaodan Kong
This paper uses active learning to solve the problem of mining bounded-time signal temporal requirements of cyber-physical systems or simply the requirement mining problem. By util…