TY  - RPRT
TI  - Correct-by-Construction for Hybrid Systems by Synthesizing Reset Controller
AU  - Jiang Liu
AU  - Han Su
AU  - Yunjun Bai
AU  - Bin Gu
AU  - Bai Xue
AU  - Mengfei Yang
AU  - Naijun Zhan
PY  - 2023
UR  - https://arxiv.org/abs/2309.05906
ID  - 2309.05906
ER  -