Inverse Reinforcement Learning in a Continuous State Space with Formal Guarantees - Dexter, Gregory; Bello, Kevin; Honorio, Jean (Advances in Neural Information Processing Systems, 2021)