Joint Inference of Reward Machines and Policies for Reinforcement Learning. - Zhe Xu 005; Ivan Gavran; Yousef Ahmad; Rupak Majumdar; Daniel Neider; Ufuk Topcu; Bo Wu 005 (ICAPS, 2020)