A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Generalized Quantitative Analysis of Metric Transition Systems
[chapter]
2013
Lecture Notes in Computer Science
The formalism of metric transition systems, as introduced by de Alfaro, Faella and Stoelinga, is convenient for modeling systems and properties with quantitative information, such as probabilities or time. For a number of applications however, one needs other distances than the point-wise (and possibly discounted) linear and branching distances introduced by de Alfaro et.al. for analyzing quantitative behavior. In this paper, we show a vast generalization of the setting of de Alfaro et.al., to
doi:10.1007/978-3-319-03542-0_14
fatcat:d74dhm7kz5cxtb3yxz5qradbne