AIDec 30, 2015A Notation for Markov Decision ProcessesPhilip S. Thomas, Billy OkalThis paper specifies a notation for Markov decision processes.