Rupak Majumdar
Krishnendu Chatterjee
Rasmus Ibsen-Jensen
Proceedings of the 17th international conference on Hybrid systems: computation and control - HSCC ’14
Computing the Skorokhod distance between polygonal traces