Conformance Relations and Hyperproperties for Doping Detection in Time and Space

Sebastian Biewer, Rayna Dimitrova, Michael Fries +4

We present a novel and generalised notion of doping cleanness for cyber-physical systems that allows for perturbing the inputs and observing the perturbed outputs both in the time-…