Applications of Metric Coinduction

@article{Kozen2009ApplicationsOM,
  title={Applications of Metric Coinduction},
  author={Dexter Kozen and Nicholas Ruozzi},
  journal={Logical Methods in Computer Science},
  year={2009},
  volume={5}
}
  • Dexter Kozen, Nicholas Ruozzi
  • Published 2009
  • Mathematics, Computer Science
  • Logical Methods in Computer Science
  • Metric coinduction is a form of coinduction that can be used to establish properties of objects constructed as a limit of finite approximations. One can prove a coinduction step showing that some property is preserved by one step of the approximation process, then automatically infer by the coinduction principle that the property holds of the limit object. This can often be used to avoid complicated analytic arguments involving limits and convergence, replacing them with simpler algebraic… CONTINUE READING

    Citations

    Publications citing this paper.
    SHOWING 1-7 OF 7 CITATIONS

    Long-Term Values in Markov Decision Processes, (Co)Algebraically

    VIEW 6 EXCERPTS
    CITES BACKGROUND & METHODS
    HIGHLY INFLUENCED

    Co)Algebraic Techniques for Markov Decision Processes

    VIEW 2 EXCERPTS
    CITES BACKGROUND
    HIGHLY INFLUENCED

    Coinductive predicates and final sequences in a fibration

    VIEW 2 EXCERPTS

    Tiered Objects

    VIEW 1 EXCERPT
    CITES BACKGROUND

    Optimal measures and Markov transition kernels

    References

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

    Non-well-founded sets

    • Peter Aczel
    • Computer Science
    • CSLI lecture notes series
    • 1988
    VIEW 4 EXCERPTS
    HIGHLY INFLUENTIAL

    Functional Operational Semantics and its Denotational Dual

    VIEW 3 EXCERPTS
    HIGHLY INFLUENTIAL

    Applications of Metric Coinduction

    VIEW 1 EXCERPT

    A Cook's Tour of the Finitary Non-Well-Founded Sets

    • Samson Abramsky
    • Computer Science, Mathematics, Physics
    • We Will Show Them!
    • 2005
    VIEW 2 EXCERPTS

    Universal coalgebra: a theory of systems

    VIEW 1 EXCERPT

    Markov Chains: Gibbs Fields, Monte Carlo Simulation, and Queues

    VIEW 1 EXCERPT

    Control flow semantics