@InProceedings{HuangWMDC15,
  author       = {Zhenqi Huang and Yu Wang and Sayan Mitra and Geir Dullerud and Swarat Chaudhuri},
  title        = {Controller synthesis with inductive proofs for piecewise linear systems: An SMT-based algorithm},
  booktitle    = {54th {IEEE} Conference on Decision and Control, {CDC} 2015, Osaka, Japan, December 15-18, 2015},
  year         = {2015},
  pages        = {7434--7439},
  biburl       = {http://dblp.uni-trier.de/rec/bib/conf/cdc/HuangWMDC15},
  keywords     = {Synthesis, Robotics},
  pdfslidesurl = {research/presentations/2015/CDC15_16.pdf},
  url          = {http://dx.doi.org/10.1109/CDC.2015.7403394},
}