TY - RPRT TI - Training with Hard Constraints: Learning Neural Certificates and Controllers for SDEs AU - Chun-Wei Kong AU - Sebastian Escobar AU - Ibon Gracia AU - Jay McMahon AU - Morteza Lahijanian PY - 2026 UR - https://arxiv.org/abs/2602.23526 ID - 2602.23526 ER -