diff --git a/src/storm/models/symbolic/Model.cpp b/src/storm/models/symbolic/Model.cpp
index 483b4337a..38f87d438 100644
--- a/src/storm/models/symbolic/Model.cpp
+++ b/src/storm/models/symbolic/Model.cpp
@@ -203,6 +203,15 @@ namespace storm {
                 this->printModelInformationHeaderToStream(out);
                 this->printModelInformationFooterToStream(out);
             }
+
+            template<storm::dd::DdType Type, typename ValueType>
+            std::vector<std::string> Model<Type, ValueType>::getLabels() const {
+                std::vector<std::string> labels;
+                for(auto const& entry : labelToExpressionMap) {
+                    labels.push_back(entry.first);
+                }
+                return labels;
+            }
             
             template<storm::dd::DdType Type, typename ValueType>
             void Model<Type, ValueType>::printModelInformationHeaderToStream(std::ostream& out) const {
diff --git a/src/storm/models/symbolic/Model.h b/src/storm/models/symbolic/Model.h
index eecbdfdd6..f3db59f26 100644
--- a/src/storm/models/symbolic/Model.h
+++ b/src/storm/models/symbolic/Model.h
@@ -259,6 +259,8 @@ namespace storm {
                 virtual void printModelInformationToStream(std::ostream& out) const override;
                 
                 virtual bool isSymbolicModel() const override;
+
+                std::vector<std::string> getLabels() const;
                 
             protected: