Sebastian Biewer, Pedro D'Argenio, Holger Hermanns. Doping Tests for Cyber-Physical Systems. In David Parker 0001, Verena Wolf, editors, Quantitative Evaluation of Systems, 16th International Conference, QEST 2019, Glasgow, UK, September 10-12, 2019, Proceedings. Volume 11785 of Lecture Notes in Computer Science, pages 313-331, Springer, 2019. [doi]
Abstract is missing.