TY - RPRT TI - Learning k-Inductive Control Barrier Certificates for Unknown Nonlinear Dynamics Beyond Polynomials AU - Ben Wooding AU - Abolfazl Lavaei PY - 2024 UR - https://arxiv.org/abs/2412.07232 ID - 2412.07232 ER -