WiP abstract: Conformance testing as falsification for cyber-physical systems
2014 ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS)
Jyotirmoy V. Deshmukh
James Kapinski
Bardh Hoxha
Houssam Abbas
Koichi Ueda
Computing the Skorokhod distance between polygonal traces