Mastering Sequential Decision Problems: The Algebra Behind Optimal Strategies 📈

Sequential decision processes and problems are a well established concept in decision theory, with the Bellman equation as a popular choice for describing them. Botta et al
have formalised the notion of such problems in Idris. Using
dependent types to bridge the gap between description and
implementation of complex systems, for purposes of simulation, has been shown to be a good choice. They have
illustrated how to use their formulation to model e.g. climate
impact research, a very relevant problem today.

Presenter: Robert Krook
Authors: Robert Krook, Patrik Jansson
Presented at TyDe 2019 (https://icfp19.sigplan.org/home/tyde-2019) at ICFP'19 (https://icfp19.sigplan.org/)