2018-05-29: Helle Hvid Hansen (TU Delft)

Sat, 21 Oct 2023 21:24:08 +0100

Helle Hvid Hansen (TU Delft)

A Coinductive Proof of Policy Iteration Correctness

Abstract

This is the second half of Helle's talk on a (co)algebraic treatment of Markov Decision Processes. It focuses on a coinductive explanation of policy improvement using a new proof principle, based on Banach's Fixpoint Theorem, that we call contraction coinduction.

2018-05-29 13:00:00 UTC
LT1310