Analyzing neighborhoods of falsifying traces in cyber-physical systems

Ram Das Diwakaran, Sriram Sankaranarayanan, Ashutosh Trivedi. Analyzing neighborhoods of falsifying traces in cyber-physical systems. In Sonia Martínez, Eduardo Tovar, Chris Gill, Bruno Sinopoli, editors, Proceedings of the 8th International Conference on Cyber-Physical Systems, ICCPS 2017, Pittsburgh, Pennsylvania, USA, April 18-20, 2017. pages 109-119, ACM, 2017. [doi]

Abstract

Abstract is missing.