@misc{indiciae241dc11e1704,
  title = {Switching Controller Synthesis for Hybrid Systems Against STL Formulas},
  author = {Han Su and Shenghua Feng and Sinong Zhan and Naijun Zhan},
  year = {2024},
  url = {https://arxiv.org/abs/2406.16588},
  note = {Source identifier: 2406.16588}
}