TY - RPRT TI - Recovery of the optimal control value function in reproducing kernel Hilbert spaces from verification conditions AU - Tobias Ehring AU - Behzad Azmi AU - Bernard Haasdonk PY - 2025 UR - https://arxiv.org/abs/2512.07477 ID - 2512.07477 ER -