Sobhan Miryoosefi: Provable Reinforcement Learning with Constraints and Function Approximation. Princeton University, USA 2022