Venkataraman, Harish

1 publications

L4DC 2020 Tractable Reinforcement Learning of Signal Temporal Logic Objectives Harish Venkataraman, Derya Aksaray, Peter Seiler