ConferencePaper
 (2019)

LTL and Beyond: Formal Languages for Reward Function Specification in Reinforcement Learning

Camacho, Alberto; Toro Icarte, Rodrigo; Klassen, Toryn; Valenzano, Richard; McIlraith, Sheila