Presentation at FM 2024
Our paper Stochastic Games for User Journeys has been presented at the 26th international symposium on Formal Methods in Milan, Italy.
In this paper, co-authored with Paul Kobialka, Gunnar R. Bergersen, Einar Broch Johnsen and S. Lizeth Tapia Tarifa, we show how we can automatically generate stochastic user journey games from event logs of user behavior. We then use these games to gain more insights into service bottlenecks using model checking methods.