# 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} }

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

#### Supplemental Presentations

#### 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

#### References

##### Publications referenced by this paper.

SHOWING 1-10 OF 20 REFERENCES

## Non-well-founded sets

VIEW 4 EXCERPTS

HIGHLY INFLUENTIAL

## Coinductive Proof Principles for Stochastic Processes

VIEW 3 EXCERPTS

## 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

VIEW 2 EXCERPTS

## Finite Markov Chains and Algorithmic Applications

VIEW 1 EXCERPT

## Universal coalgebra: a theory of systems

VIEW 1 EXCERPT