@inproceedings{dblp-conf-iccps-diwakaranst17,
  title = {Analyzing neighborhoods of falsifying traces in cyber-physical systems},
  author = {Ram Das Diwakaran and Sriram Sankaranarayanan and Ashutosh Trivedi},
  year = {2017},
  url = {https://dblp.org/rec/conf/iccps/DiwakaranST17},
  booktitle = {ICCPS 2017}
}