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

Alberto Camacho, Rodrigo Toro Icarte, Toryn Q. Klassen, Richard Anthony Valenzano, Sheila A. McIlraith

Browse the full IJCAI paper archive.