@misc{indiciae19a7cba8c54d,
  title = {Correct-by-Construction for Hybrid Systems by Synthesizing Reset Controller},
  author = {Jiang Liu and Han Su and Yunjun Bai and Bin Gu and Bai Xue and Mengfei Yang and Naijun Zhan},
  year = {2023},
  url = {https://arxiv.org/abs/2309.05906},
  note = {Source identifier: 2309.05906}
}