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
Georgios Fainekos
Bardh Hoxha
Houssam Abbas
Computing the Skorokhod distance between polygonal traces