Gregory Dexter, Kevin Bello, Jean Honorio: Inverse Reinforcement Learning in a Continuous State Space with Formal Guarantees. NeurIPS 2021: 6972-6982