diff --git a/src/storm/logic/PlayerCoalition.cpp b/src/storm/logic/PlayerCoalition.cpp
index 0c93092bf..e744fbe1c 100644
--- a/src/storm/logic/PlayerCoalition.cpp
+++ b/src/storm/logic/PlayerCoalition.cpp
@@ -6,6 +6,10 @@ namespace storm {
         PlayerCoalition::PlayerCoalition(std::vector<boost::variant<std::string, storm::storage::PlayerIndex>> playerIds) : _playerIds(playerIds) {
             // Intentionally left empty.
         }
+        
+        std::vector<boost::variant<std::string, storm::storage::PlayerIndex>> const& PlayerCoalition::getPlayers() const {
+            return _playerIds;
+        }
 
         std::ostream& operator<<(std::ostream& stream, PlayerCoalition const& coalition) {
             bool firstItem = true;
diff --git a/src/storm/logic/PlayerCoalition.h b/src/storm/logic/PlayerCoalition.h
index 53d82574d..0ddebba34 100644
--- a/src/storm/logic/PlayerCoalition.h
+++ b/src/storm/logic/PlayerCoalition.h
@@ -15,6 +15,8 @@ namespace storm {
             PlayerCoalition(std::vector<boost::variant<std::string, storm::storage::PlayerIndex>> playerIds);
             PlayerCoalition(PlayerCoalition const& other) = default;
 
+            std::vector<boost::variant<std::string, storm::storage::PlayerIndex>> const& getPlayers() const;
+            
             friend std::ostream& operator<<(std::ostream& stream, PlayerCoalition const& playerCoalition);
 
         private: