diff --git a/prism/src/prism/Prism.java b/prism/src/prism/Prism.java
index 8e649263..2b9f66e4 100644
--- a/prism/src/prism/Prism.java
+++ b/prism/src/prism/Prism.java
@@ -2679,6 +2679,13 @@ public class Prism extends PrismComponent implements PrismSettingsListener
 				setEngine(Prism.EXPLICIT);
 			}
 		}
+		// Compatibility check
+		if (genStrat && currentModelType.nondeterministic() && !getExplicit()) {
+			if (!((NondetModel) currentModel).areAllChoiceActionsUnique())
+				throw new PrismException("Cannot generate strategies with the current engine "
+						+ "because some state of the model do not have unique action labels for each choice. "
+						+ "Either switch to the explicit engine or add more action labels to the model");
+		}
 
 		try {
 			// Build model, if necessary