The Behavior of Probabilistic Systems: From Equivalences to Behavioral Distances

@inproceedings{Bacci2014TheBO,
  title={The Behavior of Probabilistic Systems: From Equivalences to Behavioral Distances},
  author={Giorgio Bacci and Giovanni Bacci and Kim G. Larsen and Radu Mardare},
  year={2014}
}
In this paper we synthesize our recent work on behavioral distances for probabilistic systems and present an overview of the current state of the art in the field. We mainly focus on behavioral distances for Markov chains, Markov decision processes, and Segala systems. We illustrate three different methods used for the definition of such metrics: logical, order theoretic, and measure-testing; and we discuss the relationships between them and provide the main arguments in support of each of them… CONTINUE READING

Figures and Topics from this paper.

References

Publications referenced by this paper.
SHOWING 1-10 OF 31 REFERENCES

The Cell Cycle Switch Computes Approximate Majority

  • Scientific reports
  • 2012
VIEW 3 EXCERPTS
HIGHLY INFLUENTIAL

Game Relations and Metrics

  • 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007)
  • 2007
VIEW 5 EXCERPTS
HIGHLY INFLUENTIAL

Theory of Linear and Integer Programming

VIEW 2 EXCERPTS
HIGHLY INFLUENTIAL

Similar Papers

Loading similar papers…