Merge branch 'main' of github.com:smartjourneymining/spotify_journey

smartjourneymining · Mar 11, 2024 · 6fdbb1f · 6fdbb1f
2 parents 6f2f730 + 82ef903
commit 6fdbb1f
Show file tree

Hide file tree

Showing 3 changed files with 78 additions and 54 deletions.
diff --git a/README.md b/README.md
@@ -1,9 +1,9 @@
 # spotify_journey
 
-Repository for the work ``Nudging Strategies for User Journeys:
-Take a Path on the Wild Side'' by Johnsen, Kobialka, Pferscher and Tapia Tarifa.
+Repository for the work "Nudging Strategies for User Journeys:
+Take a Path on the Wild Side" by Johnsen, Kobialka, Pferscher and Tapia Tarifa.
 
-The model checker UPPAAL is used to generate strategies to nudge the listening behavior of a professor in computer science toward a ``wilder'' direction.
+The model checker UPPAAL is used to generate strategies to nudge the listening behavior of a professor in computer science toward a "wilder" direction.
 
 We use the [Music Music-Streaming Sessions Dataset](https://www.aicrowd.com/challenges/spotify-sequential-skip-prediction-challenge) published by Brost et al [[1]](#1) to learn music-streaming user journeys with automata learning.
 

diff --git a/main.ipynb b/main.ipynb
diff --git a/requirements.txt b/requirements.txt
@@ -5,4 +5,4 @@ pandas==1.5.3
 pm4py==2.7.10.1
 pyrootutils==1.0.4
 scikit_learn==1.2.1
-aalpy==1.4.0
+aalpy==1.4.0