Distances for Weighted Transition Systems: Games and Properties

@inproceedings{Fahrenberg2011DistancesFW,
  title={Distances for Weighted Transition Systems: Games and Properties},
  author={Ulrich Fahrenberg and Claus R. Thrane and Kim G. Larsen},
  booktitle={QAPL},
  year={2011}
}
We develop a general framework for reasoning about distances between transition systems with quantitative information. Taking as starting point an arbitrary distance on system traces, we show how this leads to natural definitions of a linear and a branching distance on states of such a transition system. We show that our framework generalizes and unifies a large variety of previously considered system distances, and we develop some general properties of our distances. We also show that if the… CONTINUE READING
Highly Cited
This paper has 22 citations. REVIEW CITATIONS
12 Citations
28 References
Similar Papers

Citations

Publications citing this paper.
Showing 1-10 of 12 extracted citations

Similar Papers

Loading similar papers…