Search Results for author:
Found 2 papers, 0 papers with code
Software Doping Analysis for Human Oversight
A prominent example of software doping are the tampered emission cleaning systems that were found in millions of cars around the world when the diesel emissions scandal surfaced.
Conformance Relations and Hyperproperties for Doping Detection in Time and Space
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- and value-domains.
Logic in Computer Science
Cannot find the paper you are looking for? You can
Submit a new open access paper.
