S. Abramsky and V. Winschel, Coalgebraic Analysis of Subgame-Perfect Equilibria in Infinite Games without Discounting, Mathematical Structures in Computer Science, vol.27, issue.5, pp.751-761, 2017.

P. Baldan, F. Bonchi, H. Kerstan, and B. König, Behavioral Metrics via Functor Lifting, 34th International Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS, pp.403-415, 2014.

F. Bartels, On Generalised Coinduction and Probabilistic Specification Formats, 2004.

R. Bellman, Dynamic Programming, 1957.

V. Capretta, T. Uustalu, and V. Vene, Recursive Coalgebras from Comonads. Inf. Comp, vol.204, p.437468, 2006.

V. Capretta, T. Uustalu, and V. Vene, Corecursive Algebras: A Study of General Structured Corecursion, Formal Methods: Foundations and Applications, pp.84-100, 2009.
DOI : 10.1007/978-3-642-10452-7_7

URL : http://www.cs.kun.nl/~venanzio/publications/antifounded.pdf

E. V. Denardo, Contraction Mappings in the Theory Underlying Dynamic Programming, SIAM Review, vol.9, issue.2, pp.165-177, 1967.

J. Desharnais, A. Edalat, and P. Panangaden, Bisimulation for Labelled Markov Processes, Information and Computation, vol.179, issue.2, pp.163-193, 2002.

N. Ferns, P. Panangaden, and D. Precup, Metrics for Finite Markov Decision Processes, Proceedings of the 20th Conference on Uncertainty in Artificial Intelligence. pp. 162-169. UAI '04, 2004.

A. L. Gibbs and F. E. Su, On Choosing and Bounding Probability Metrics, International Statistical Review/Revue Internationale de Statistique, vol.70, issue.3, pp.419-435, 2002.
DOI : 10.2307/1403865

URL : http://arxiv.org/pdf/math/0209021

M. Giry, A Categorical Approach to Probability Theory, Categorical Aspects of Topology and Analysis, vol.915, pp.68-85, 1982.
DOI : 10.1007/bfb0092872

R. A. Howard, Dynamic Programming and Markov Processes, 1960.

B. Jacobs, Distributive Laws for the Coinductive Solution of Recursive Equations, Information and Computation, vol.204, issue.4, pp.561-587, 2006.

B. Jacobs, A. Silva, and A. Sokolova, Trace Semantics via Determinization, 11th International Workshop on Coalgebraic Methods in Computer Science, vol.81, pp.859-879, 2015.
DOI : 10.1016/j.jcss.2014.12.005

URL : https://hal.archives-ouvertes.fr/hal-01539887

P. T. Johnstone, Adjoint Lifting Theorems for Categories of Algebras, Bulletin of the London Mathematical Society, vol.7, pp.294-297, 1975.
DOI : 10.1112/blms/7.3.294

B. Klin, Bialgebras for Structural Operational Semantics: An Introduction, Theoretical Computer Science, vol.412, issue.38, pp.5043-5069, 2011.
DOI : 10.1016/j.tcs.2011.03.023

URL : https://doi.org/10.1016/j.tcs.2011.03.023

D. Kozen, Coinductive Proof Principles for Stochastic Processes, Logical Methods in Computer Science, vol.5, pp.1-19, 2009.
DOI : 10.1109/lics.2006.18

URL : http://arxiv.org/pdf/0711.0194

S. Mac-lane, Categories for the Working Mathematician, vol.5, 2013.

S. Milius, Completely Iterative Algebras and Completely Iterative Monads. Information and Computation, vol.196, pp.1-41, 2005.

A. W. Moore, Markov Systems, Markov Decision Processes, and Dynamic Programming, 2002.

D. Pavlovic, A Semantical Approach to Equilibria and Rationality, Proceedings, Algebra and Coalgebra in Computer Science, pp.317-334, 2009.

M. L. Puterman, Markov Decision Processes: Discrete Stochastic Dynamic Programming, 2014.

N. Ruozzi and D. Kozen, Applications of Metric Coinduction, Logical Methods in Computer Science, vol.5, 2009.

J. Rutten, Universal Coalgebra: A Theory of Systems, Theoretical Computer Science, vol.249, issue.1, pp.3-80, 2000.

A. Silva, F. Bonchi, M. Bonsangue, and J. Rutten, Generalizing Determinization from Automata to Coalgebras, Logical Methods in Computer Science, vol.9, pp.1-27, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00909339

A. Silva and A. Sokolova, Sound and Complete Axiomatization of Trace Semantics for Probabilistic Systems, Electronic Notes in Theoretical Computer Science, vol.276, pp.291-311, 2011.

A. Sokolova, Probabilistic Systems Coalgebraically, Theoretical Computer Science, vol.412, issue.38, pp.5095-5110, 2011.

C. Villani, Optimal Transport, Grundlehren der Mathematischen Wissenschaften, vol.338, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00923320