Applications of Metric Coinduction

Details Applications of Metric Coinduction Applications of Metric Coinduction

2009-08-19

arxiv.org/abs/0908.2793v2

LMCS 5 (3:10) 2009

Computer Science

Logic in Computer Science

Scientific paper

10.2168/LMCS-5(3:10)2009

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 arguments. This paper examines the application of this principle in a variety of areas, including infinite streams, Markov chains, Markov decision processes, and non-well-founded sets. These results point to the usefulness of coinduction as a general proof technique.

Affiliated with

Also associated with

No associations

Rating

Applications of Metric Coinduction does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Applications of Metric Coinduction, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Applications of Metric Coinduction will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-216691