Long-term values in Markov decision processes, (co)algebraically

DOI10.1007/978-3-030-00389-0_6OpenAlexW2892234234MaRDI QIDQ1798787

Lawrence S. Moss, Helle Hvid Hansen, Frank M. V. Feys

Publication date: 23 October 2018

Full work available at URL: https://hal.inria.fr/hal-02044650/file/473364_1_En_6_Chapter.pdf

zbMATH Keywords

coalgebrametric spaceMarkov decision processalgebrafixpointcorecursive algebradiscounted sumlong-term value

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Related Items (2)

Value Iteration is Optic Composition ⋮ Corecursive algebras in nature

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Bialgebras for structural operational semantics: an introduction
• Probabilistic systems coalgebraically: a survey
• Universal coalgebra: A theory of systems
• Completely iterative algebras and completely iterative monads
• Trace semantics via determinization
• Recursive coalgebras from comonads
• Distributive laws for the coinductive solution of recursive equations
• Bisimulation for labelled Markov processes
• A Semantical Approach to Equilibria and Rationality
• Behavioral Metrics via Functor Lifting
• Bisimulation Metrics for Continuous Markov Decision Processes
• Corecursive Algebras: A Study of General Structured Corecursion
• Adjoint Lifting Theorems for Categories of Algebras
• On Choosing and Bounding Probability Metrics
• Generalizing determinization from automata to coalgebras
• Coalgebraic analysis of subgame-perfect equilibria in infinite games without discounting
• Contraction Mappings in the Theory Underlying Dynamic Programming
• Sound and Complete Axiomatization of Trace Semantics for Probabilistic Systems
• Applications of Metric Coinduction
• Optimal Transport

This page was built for publication: Long-term values in Markov decision processes, (co)algebraically