Inverse Reinforcement Learning in the Continuous Setting with Formal Guarantees