TY - RPRT TI - Learning to Provably Satisfy High Relative Degree Constraints for Black-Box Systems AU - Jean-Baptiste Bouvier AU - Kartik Nagpal AU - Negar Mehr PY - 2024 UR - https://arxiv.org/abs/2407.20456 ID - 2407.20456 ER -