"Structured reward functions using STL: poster abstract."

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