Verification of general Markov decision processes by approximate similarity relations and policy refinement

S. Haesaert, S. Esmaeil Zadeh Soudjani, A. Abate

In this work we introduce new approximate similarity relations that are shown to be key for policy (or control) synthesis over general Markov decision processes. The models of inte…