Deshmukh, Jyotirmoy V.; Majumdar, Rupak; Prabhu, Vinayak S. Quantifying conformance using the Skorokhod metric. (English) Zbl 1360.68629 Form. Methods Syst. Des. 50, No. 2-3, 168-206 (2017). MSC: 68Q85 68Q60 PDF BibTeX XML Cite \textit{J. V. Deshmukh} et al., Form. Methods Syst. Des. 50, No. 2--3, 168--206 (2017; Zbl 1360.68629) Full Text: DOI
Deshmukh, Jyotirmoy V.; Majumdar, Rupak; Prabhu, Vinayak S. Quantifying conformance using the Skorokhod metric. (English) Zbl 1381.68156 Kroening, Daniel (ed.) et al., Computer aided verification. 27th international conference, CAV 2015, San Francisco, CA, USA, July 18–24, 2015. Proceedings. Part II. Cham: Springer (ISBN 978-3-319-21667-6/pbk; 978-3-319-21668-3/ebook). Lecture Notes in Computer Science 9207, 234-250 (2015). MSC: 68Q60 PDF BibTeX XML Cite \textit{J. V. Deshmukh} et al., Lect. Notes Comput. Sci. 9207, 234--250 (2015; Zbl 1381.68156) Full Text: DOI