Regular Decision Processes for Grid Worlds

Nicky Lenaers, Martijn van Otterlo

Markov decision processes are typically used for sequential decision making under uncertainty. For many aspects however, ranging from constrained or safe specifications to various…