@inproceedings{Abate:2017:SAS:3049797.3049802,
  title = "Sound and Automated Synthesis of Digital Stabilizing Controllers for Continuous Plants",
  author = "Abate, Alessandro and Bessa, Iury and Cattaruzza, Dario and Cordeiro, Lucas and David, Cristina and Kesseli, Pascal and Kroening, Daniel",
  year = "2017",
  address = "New York, NY, USA",
  booktitle = "Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control",
  isbn = "978-1-4503-4590-3",
  keywords = "Cegis, digital control synthesis, finite-word-length representation, quantization, time sampling",
  location = "Pittsburgh, Pennsylvania, USA",
  pages = "197--206",
  publisher = "ACM",
  series = "HSCC '17",
  url = "http://doi.acm.org/10.1145/3049797.3049802",
  doi = "10.1145/3049797.3049802",
}