@misc{indiciae762021e7ac49,
  title = {HHLPy: Practical Verification of Hybrid Systems using Hoare Logic},
  author = {Huanhuan Sheng and Alexander Bentkamp and Bohua Zhan},
  year = {2023},
  url = {https://arxiv.org/abs/2210.17163},
  note = {Source identifier: 2210.17163}
}