SOTAVerified

A Notation for Markov Decision Processes

2015-12-30Code Available0· sign in to hype

Philip S. Thomas, Billy Okal

Code Available — Be the first to reproduce this paper.

Reproduce

Code

Abstract

This paper specifies a notation for Markov decision processes.

Reproductions