diff --git a/src/storm/logic/Formula.cpp b/src/storm/logic/Formula.cpp
index 0a310713d..d8b399e34 100644
--- a/src/storm/logic/Formula.cpp
+++ b/src/storm/logic/Formula.cpp
@@ -333,6 +333,14 @@ namespace storm {
             return dynamic_cast<EventuallyFormula const&>(*this);
         }
 
+        GameFormula& Formula::asGameFormula() {
+            return dynamic_cast<GameFormula&>(*this);
+        }
+
+        GameFormula const& Formula::asGameFormula() const {
+            return dynamic_cast<GameFormula const&>(*this);
+        }
+
         GloballyFormula& Formula::asGloballyFormula() {
             return dynamic_cast<GloballyFormula&>(*this);
         }
diff --git a/src/storm/logic/Formula.h b/src/storm/logic/Formula.h
index 8fabb4fe0..294637c2e 100644
--- a/src/storm/logic/Formula.h
+++ b/src/storm/logic/Formula.h
@@ -154,7 +154,10 @@ namespace storm {
 
             EventuallyFormula& asReachabilityTimeFormula();
             EventuallyFormula const& asReachabilityTimeFormula() const;
-            
+
+            GameFormula& asGameFormula();
+            GameFormula const& asGameFormula() const;
+
             GloballyFormula& asGloballyFormula();
             GloballyFormula const& asGloballyFormula() const;