@misc{indiciae0abf210a1a72,
  title = {RouthSearch: Inferring PID Parameter Specification for Flight Control Program by Coordinate Search},
  author = {Siao Wang and Zhen Dong and Hui Li and Liwei Shen and Xin Peng and Dongdong She},
  year = {2025},
  doi = {10.1145/3728904},
  url = {https://arxiv.org/abs/2505.02357},
  note = {Source identifier: 2505.02357}
}