Isabelle/HOL formalization of value iteration and policy iteration algorithms on MDPs
Primary LanguageStandard ML