Skip to content

feat: state-action absorbing MDPs and the net of their optimal policies [LWCGC24, Lemmas 3–4] - #382

Open
RemyDegenne wants to merge 1 commit into
LeanMachineLearning:mainfrom
RemyDegenne:roadmap/sa-absorbing-net-worker1
Open

feat: state-action absorbing MDPs and the net of their optimal policies [LWCGC24, Lemmas 3–4]#382
RemyDegenne wants to merge 1 commit into
LeanMachineLearning:mainfrom
RemyDegenne:roadmap/sa-absorbing-net-worker1

Commits

  1. Commits on Nov 14, 2026