@misc{indiciae95df30b911ed,
  title = {Automated Formal Synthesis of Digital Controllers for State-Space Physical Plants},
  author = {Alessandro Abate and Iury Bessa and Dario Cattaruzza and Lucas Cordeiro and Cristina David and Pascal Kesseli and Daniel Kroening and Elizabeth Polgreen},
  year = {2017},
  url = {https://arxiv.org/abs/1705.00981},
  note = {Source identifier: 1705.00981}
}