Simulation-Driven Reachability Using Matrix Measures
WiP abstract: Conformance testing as falsification for cyber-physical systems
2014 ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS)
ACM Transactions on Embedded Computing Systems
Jyotirmoy V. Deshmukh
Xiaoqing Jin
Georgios Fainekos
Bardh Hoxha
Chuchu Fan
Houssam Abbas
Computing the Skorokhod distance between polygonal traces