"Structured Reward Shaping using Signal Temporal Logic specifications."

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