@misc{indiciae0c4fb3adb70a,
  title = {Sound and Automated Synthesis of Digital Stabilizing Controllers for Continuous Plants},
  author = {Alessandro Abate and Iury Bessa and Dario Cattaruzza and Lucas Cordeiro and Cristina David and Pascal Kesseli and Daniel Kroening},
  year = {2017},
  doi = {10.1145/3049797.3049802},
  url = {https://arxiv.org/abs/1610.04761},
  note = {Source identifier: 1610.04761}
}