"Structured reward functions using STL: poster abstract."

Anand Balakrishnan, Jyotirmoy V. Deshmukh (2019)
a service of Schloss Dagstuhl - Leibniz Center for Informatics