Analyzing neighborhoods of falsifying traces in cyber-physical systems. - Ram Das Diwakaran; Sriram Sankaranarayanan 001; Ashutosh Trivedi 001 (ICCPS, 2017)