102 citations · 204 across the 57 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.AI2018
Automata Guided Reinforcement Learning With Demonstrations
Xiao Li, Yao Ma, Calin Belta
Tasks with complex temporal structures and long horizons pose a challenge for reinforcement learning agents due to the difficulty in specifying the tasks in terms of reward functio…
cs.LO2018
Metrics for Signal Temporal Logic Formulae
Curtis Madsen, Prashant Vaidyanathan, Sadra Sadraddini +5
Signal Temporal Logic (STL) is a formal language for describing a broad range of real-valued, temporal properties in cyber-physical systems. While there has been extensive research…