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