diff --git a/src/utility/cli.h b/src/utility/cli.h
index 30366caa9..080322ded 100644
--- a/src/utility/cli.h
+++ b/src/utility/cli.h
@@ -327,6 +327,11 @@ namespace storm {
                         modelchecker::prctl::SparseDtmcPrctlModelChecker<double> modelchecker(*dtmc);
                         filterFormula->check(modelchecker);
                     }
+                    if (model->getType() == storm::models::MDP) {
+                        std::shared_ptr<storm::models::Mdp<double>> mdp = model->as<storm::models::Mdp<double>>();
+                        modelchecker::prctl::SparseMdpPrctlModelChecker<double> modelchecker(*mdp);
+                        filterFormula->check(modelchecker);
+                    }
                 }
             }
         }