Applications of Metric Coinduction

DOI10.2168/LMCS-5(3:10)2009zbMath1187.03028arXiv0908.2793OpenAlexW1726965442MaRDI QIDQ5897032

Nicholas Ruozzi, Dexter Kozen

Publication date: 28 January 2010

Published in: Logical Methods in Computer Science, Algebra and Coalgebra in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/0908.2793

zbMATH Keywords

Markov chainsMarkov decision processescoalgebralogic in computer sciencecoinductionprobabilistic logicnon-well-founded setsinfinite streams

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

Related Items (7)

Coinductive predicates and final sequences in a fibration ⋮ Optimal measures and Markov transition kernels ⋮ Practical coinduction ⋮ The fixed-point theory of strictly causal functions ⋮ Long-term values in Markov decision processes, (co)algebraically ⋮ Coinductive predicates and final sequences in a fibration ⋮ Coalgebraic analysis of subgame-perfect equilibria in infinite games without discounting

This page was built for publication: Applications of Metric Coinduction