diff --git a/prism/src/explicit/DTMCModelChecker.java b/prism/src/explicit/DTMCModelChecker.java
index 14239627..da3db0b9 100644
--- a/prism/src/explicit/DTMCModelChecker.java
+++ b/prism/src/explicit/DTMCModelChecker.java
@@ -52,10 +52,8 @@ import acceptance.AcceptanceReach;
 import acceptance.AcceptanceType;
 import automata.DA;
 import common.IntSet;
-import common.PeriodicTimer;
 import common.StopWatch;
 import common.IterableBitSet;
-import common.StopWatch;
 import explicit.LTLModelChecker.LTLProduct;
 import explicit.modelviews.DTMCAlteredDistributions;
 import explicit.modelviews.MDPFromDTMC;
diff --git a/prism/src/explicit/IterationMethod.java b/prism/src/explicit/IterationMethod.java
index ea0b01ce..7cc98f79 100644
--- a/prism/src/explicit/IterationMethod.java
+++ b/prism/src/explicit/IterationMethod.java
@@ -35,7 +35,6 @@ import explicit.rewards.MCRewards;
 import explicit.rewards.MDPRewards;
 import prism.OptionsIntervalIteration;
 import prism.PrismException;
-import prism.PrismSettings;
 import prism.PrismUtils;
 
 /**
diff --git a/prism/src/explicit/LTSExplicit.java b/prism/src/explicit/LTSExplicit.java
index 8e997dea..16bdd3ad 100644
--- a/prism/src/explicit/LTSExplicit.java
+++ b/prism/src/explicit/LTSExplicit.java
@@ -29,11 +29,8 @@ package explicit;
 
 import java.util.ArrayList;
 import java.util.BitSet;
-import java.util.Collections;
 import java.util.Iterator;
-import java.util.LinkedHashSet;
 
-import explicit.graphviz.Decorator;
 import prism.ModelType;
 import prism.PrismException;
 import prism.PrismLog;
diff --git a/prism/src/explicit/MDPExplicit.java b/prism/src/explicit/MDPExplicit.java
index e1ec641b..faf32d01 100644
--- a/prism/src/explicit/MDPExplicit.java
+++ b/prism/src/explicit/MDPExplicit.java
@@ -35,15 +35,12 @@ import java.util.Iterator;
 import java.util.Map;
 import java.util.TreeMap;
 
-import common.IterableStateSet;
-
 import prism.ModelType;
 import prism.PrismException;
 import prism.PrismLog;
 import prism.PrismUtils;
 import strat.MDStrategy;
 import explicit.graphviz.Decorator;
-import explicit.rewards.MDPRewards;
 
 /**
  * Base class for explicit-state representations of an MDP.
diff --git a/prism/src/explicit/MDPModelChecker.java b/prism/src/explicit/MDPModelChecker.java
index 5c2df32e..37abb97c 100644
--- a/prism/src/explicit/MDPModelChecker.java
+++ b/prism/src/explicit/MDPModelChecker.java
@@ -55,7 +55,6 @@ import strat.MDStrategyArray;
 import acceptance.AcceptanceReach;
 import acceptance.AcceptanceType;
 import automata.DA;
-import automata.LTL2WDBA;
 import common.IntSet;
 import common.IterableBitSet;
 import explicit.modelviews.EquivalenceRelationInteger;
diff --git a/prism/src/explicit/SCCConsumerBSCCs.java b/prism/src/explicit/SCCConsumerBSCCs.java
index 453832c1..ee427187 100644
--- a/prism/src/explicit/SCCConsumerBSCCs.java
+++ b/prism/src/explicit/SCCConsumerBSCCs.java
@@ -28,7 +28,6 @@ package explicit;
 
 import java.util.BitSet;
 
-import prism.PrismComponent;
 import prism.PrismException;
 
 /**
diff --git a/prism/src/explicit/SubNondetModel.java b/prism/src/explicit/SubNondetModel.java
index 1e2c1bc1..22774544 100644
--- a/prism/src/explicit/SubNondetModel.java
+++ b/prism/src/explicit/SubNondetModel.java
@@ -31,12 +31,9 @@ import java.io.File;
 import java.util.ArrayList;
 import java.util.BitSet;
 import java.util.HashMap;
-import java.util.HashSet;
-import java.util.Iterator;
 import java.util.List;
 import java.util.Map;
 import java.util.Set;
-import java.util.function.IntConsumer;
 
 import common.IterableStateSet;
 import parser.State;
diff --git a/prism/src/prism/NondetModelChecker.java b/prism/src/prism/NondetModelChecker.java
index d9d1a915..d0ee0cfa 100644
--- a/prism/src/prism/NondetModelChecker.java
+++ b/prism/src/prism/NondetModelChecker.java
@@ -70,8 +70,6 @@ import acceptance.AcceptanceReach;
 import acceptance.AcceptanceReachDD;
 import acceptance.AcceptanceType;
 import automata.DA;
-import automata.LTL2DA;
-import automata.LTL2WDBA;
 import common.StopWatch;
 import dv.DoubleVector;
 import dv.IntegerVector;
diff --git a/prism/src/prism/ProbModelChecker.java b/prism/src/prism/ProbModelChecker.java
index 3ee7f714..32897ab6 100644
--- a/prism/src/prism/ProbModelChecker.java
+++ b/prism/src/prism/ProbModelChecker.java
@@ -41,7 +41,6 @@ import acceptance.AcceptanceReach;
 import acceptance.AcceptanceReachDD;
 import acceptance.AcceptanceType;
 import automata.DA;
-import automata.LTL2WDBA;
 import common.StopWatch;
 import jdd.JDD;
 import jdd.JDDNode;