Conformance Relations and Hyperproperties for Doping Detection in Time and Space (Supplementary Material)

This webpage contains supplementary materials related to our LMCS-submission. The publication is available on arXiv.

Case Study

To demonstrate our theory we conducted several tests with a passenger car on a chassis dynamometer. The results of these tests are presented in section 7 of our paper.

The emissions data and a Jupyter notebook to reproduce our results is available here.
A read-only HTML version is available here.