TY - RPRT TI - POLICEd RL: Learning Closed-Loop Robot Control Policies with Provable Satisfaction of Hard Constraints AU - Jean-Baptiste Bouvier AU - Kartik Nagpal AU - Negar Mehr PY - 2024 UR - https://arxiv.org/abs/2403.13297 ID - 2403.13297 ER -