TY  - RPRT
TI  - HHLPy: Practical Verification of Hybrid Systems using Hoare Logic
AU  - Huanhuan Sheng
AU  - Alexander Bentkamp
AU  - Bohua Zhan
PY  - 2023
UR  - https://arxiv.org/abs/2210.17163
ID  - 2210.17163
ER  -