ML Anthology
Authors
Search
About
Venkataraman, Harish
1 publications
L4DC
2020
Tractable Reinforcement Learning of Signal Temporal Logic Objectives
Harish Venkataraman
,
Derya Aksaray
,
Peter Seiler