@misc{indiciae9d10607334ce,
  title = {Bayesian Safety Guarantees for Port-Hamiltonian Systems with Learned Energy Functions},
  author = {Chi Ho Leung and Philip E. Paré},
  year = {2026},
  url = {https://arxiv.org/abs/2512.24493},
  note = {Source identifier: 2512.24493}
}