Coalgebraic Analysis of Subgame-Perfect Equilibria in Infinite Games without Discounting, Mathematical Structures in Computer Science, vol.27, issue.5, pp.751-761, 2017. ,
Behavioral Metrics via Functor Lifting, 34th International Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS, pp.403-415, 2014. ,
On Generalised Coinduction and Probabilistic Specification Formats, 2004. ,
Dynamic Programming, 1957. ,
, Recursive Coalgebras from Comonads. Inf. Comp, vol.204, p.437468, 2006.
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
Contraction Mappings in the Theory Underlying Dynamic Programming, SIAM Review, vol.9, issue.2, pp.165-177, 1967. ,
Bisimulation for Labelled Markov Processes, Information and Computation, vol.179, issue.2, pp.163-193, 2002. ,
Metrics for Finite Markov Decision Processes, Proceedings of the 20th Conference on Uncertainty in Artificial Intelligence. pp. 162-169. UAI '04, 2004. ,
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
A Categorical Approach to Probability Theory, Categorical Aspects of Topology and Analysis, vol.915, pp.68-85, 1982. ,
DOI : 10.1007/bfb0092872
, Dynamic Programming and Markov Processes, 1960.
Distributive Laws for the Coinductive Solution of Recursive Equations, Information and Computation, vol.204, issue.4, pp.561-587, 2006. ,
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
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
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
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
, Categories for the Working Mathematician, vol.5, 2013.
, Completely Iterative Algebras and Completely Iterative Monads. Information and Computation, vol.196, pp.1-41, 2005.
, Markov Systems, Markov Decision Processes, and Dynamic Programming, 2002.
A Semantical Approach to Equilibria and Rationality, Proceedings, Algebra and Coalgebra in Computer Science, pp.317-334, 2009. ,
Markov Decision Processes: Discrete Stochastic Dynamic Programming, 2014. ,
Applications of Metric Coinduction, Logical Methods in Computer Science, vol.5, 2009. ,
Universal Coalgebra: A Theory of Systems, Theoretical Computer Science, vol.249, issue.1, pp.3-80, 2000. ,
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
Sound and Complete Axiomatization of Trace Semantics for Probabilistic Systems, Electronic Notes in Theoretical Computer Science, vol.276, pp.291-311, 2011. ,
Probabilistic Systems Coalgebraically, Theoretical Computer Science, vol.412, issue.38, pp.5095-5110, 2011. ,
Optimal Transport, Grundlehren der Mathematischen Wissenschaften, vol.338, 2009. ,
URL : https://hal.archives-ouvertes.fr/hal-00923320