Formally Verified Solution Methods for Markov Decision Processes.

Maximilian Schäffeler Mohammad Abdulaziz

Published in: AAAI (2023)

Keyphrases

markov decision processes
state space
dynamic programming
optimal policy
finite state
machine learning
objective function
state and action spaces