TY - RPRT TI - Verifiable Error Bounds for Physics-Informed Neural Network Solutions of Lyapunov and Hamilton-Jacobi-Bellman Equations AU - Jun Liu PY - 2026 UR - https://arxiv.org/abs/2603.19545 ID - 2603.19545 ER -