PLite is a Julia-based modeling system for Markov decision processes - View it on GitHub