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.
We use the Music Music-Streaming Sessions Dataset published by Brost et al [1] to learn music-streaming user journeys with automata learning.
[1] Brost, B., Mehrotra, R., Jehan, T.: The music streaming sessions dataset. In: Proc. World Wide Web Conference (WWW 2019). pp. 2594–2600. ACM (2019).