# Conformance Relations and Hyperproperties for Doping Detection in Time and Space

arXiv: https://arxiv.org/abs/2012.03910 · HTML: https://mlsanity.com/paper/2012.03910/

## Key facts

- Cited by 1 papers in the map (data through 14 Oct 2026).
- First posted on arXiv 7 Dec 2020.

## Built on by (most cited first, 1 of 1)

- [Software Doping Analysis for Human Oversight](https://mlsanity.com/paper/2308.06186/) (2023)

## Abstract (arXiv)

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. We instantiate our definition using existing notions of conformance for cyber-physical systems. As a formal basis for monitoring conformance-based cleanness, we develop the temporal logic HyperSTL*, an extension of Signal Temporal Logics with trace quantifiers and a freeze operator. We show that our generalised definitions are essential in a data-driven method for doping detection and apply our definitions to a case study concerning diesel emission tests.