Quantifying conformance using the Skorokhod metric

DOI10.1007/978-3-319-21668-3_14zbMath1381.68156arXiv1505.05832OpenAlexW996926465MaRDI QIDQ5915874

Rupak Majumdar, Vinayak S. Prabhu, Jyotirmoy V. Deshmukh

Publication date: 1 March 2018

Published in: Computer Aided Verification (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1505.05832

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (3)

Temporal Robustness of Stochastic Signals ⋮ Quantifying conformance using the Skorokhod metric ⋮ TeLEx: learning signal temporal logic from positive examples using tightness metric

This page was built for publication: Quantifying conformance using the Skorokhod metric