Analyzing neighborhoods of falsifying traces in cyber-physical systems
Ram Das Diwakaran, Sriram Sankaranarayanan, Ashutosh Trivedi · 2017
We study the problem of analyzing falsifying traces of cyber-physical systems. Specifically, given a system model and an input which is a counterexample to a property of interest, we wish to understand which parts of the inputs are "responsible" for the counterexample as a whole. Whereas this problem is well known to be hard to solve precisely, we provide an approach based on learning from repeated simulations of the system under test.