add requirements, format readme, new explainations in main

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.
 

requirements.txt

@@ -0,0 +1,64 @@
+aalpy==1.4.0
+appnope==0.1.3
+asttokens==2.4.1
+certifi==2023.11.17
+charset-normalizer==3.3.2
+comm==0.2.1
+contourpy==1.2.0
+cycler==0.12.1
+debugpy==1.8.0
+decorator==5.1.1
+deprecation==2.1.0
+executing==2.0.1
+fonttools==4.47.2
+graphviz==0.20.1
+idna==3.6
+intervaltree==3.1.0
+ipykernel==6.29.0
+ipython==8.20.0
+jedi==0.19.1
+Jinja2==3.1.3
+jupyter_client==8.6.0
+jupyter_core==5.7.1
+kiwisolver==1.4.5
+lxml==5.1.0
+MarkupSafe==2.1.5
+matplotlib==3.8.2
+matplotlib-inline==0.1.6
+nest-asyncio==1.6.0
+networkx==3.2.1
+numpy==1.26.3
+packaging==23.2
+pandas==2.1.4
+parso==0.8.3
+pexpect==4.9.0
+pillow==10.2.0
+platformdirs==4.1.0
+pm4py==2.7.9.3
+prompt-toolkit==3.0.43
+psutil==5.9.8
+ptyprocess==0.7.0
+pure-eval==0.2.2
+pydot==2.0.0
+pydotplus==2.0.2
+Pygments==2.17.2
+pygraphviz==1.12
+pyparsing==3.1.1
+python-dateutil==2.8.2
+pytz==2023.3.post1
+pyzmq==25.1.2
+redis==5.0.1
+requests==2.31.0
+scipy==1.11.4
+seaborn==0.13.1
+six==1.16.0
+sortedcontainers==2.4.0
+spotipy==2.23.0
+stack-data==0.6.3
+StringDist==1.0.9
+tornado==6.4
+tqdm==4.66.1
+traitlets==5.14.1
+tzdata==2023.4
+urllib3==2.1.0
+wcwidth==0.2.13