Computing the Skorokhod distance between polygonal traces
Edit distance for timed automata
Proceedings of the 17th international conference on Hybrid systems: computation and control - HSCC ’14
Proceedings of the 18th International Conference on Hybrid Systems Computation and Control - HSCC ’15
Rasmus Ibsen-Jensen
Krishnendu Chatterjee
Vinayak S. Prabhu