@misc{indiciae019dcb028a15,
  title = {Counterexample Guided Synthesis of Switched Controllers for Reach-While-Stay Properties},
  author = {Hadi Ravanbakhsh and Sriram Sankaranarayanan},
  year = {2015},
  url = {https://arxiv.org/abs/1505.01180},
  note = {Source identifier: 1505.01180}
}