TY - RPRT TI - Bayesian Safety Guarantees for Port-Hamiltonian Systems with Learned Energy Functions AU - Chi Ho Leung AU - Philip E. Paré PY - 2026 UR - https://arxiv.org/abs/2512.24493 ID - 2512.24493 ER -