diff --git a/src/storm-pomdp-cli/storm-pomdp.cpp b/src/storm-pomdp-cli/storm-pomdp.cpp index 21443bd04..0a223ad63 100644 --- a/src/storm-pomdp-cli/storm-pomdp.cpp +++ b/src/storm-pomdp-cli/storm-pomdp.cpp @@ -195,7 +195,7 @@ int main(const int argc, const char** argv) { pmc->printModelInformationToStream(std::cout); STORM_PRINT_AND_LOG("Simplifying pMC..."); //if (generalSettings.isBisimulationSet()) { - pmc = storm::api::performBisimulationMinimization(pmc->as>(),{formula}, storm::storage::BisimulationType::Weak)->as>(); + pmc = storm::api::performBisimulationMinimization(pmc->as>(),{formula}, storm::storage::BisimulationType::Strong)->as>(); //} STORM_PRINT_AND_LOG(" done." << std::endl);