Games

Nudging Strategies for User Journeys: Take a Path on the Wild Side
Real-Time and Such. LNCS 15230, Springer 2024.
Preprint Cite Project DOI Github
Nudging Strategies for User Journeys: Take a Path on the Wild Side
Stochastic Games for User Journeys
Proc. FM 2024. LNCS 14934, Springer 2024.
Preprint Cite Project DOI Github Artifact
Stochastic Games for User Journeys
User Journey Games: Automating User-Centric Analysis
Software and Systems Modeling 23: 605-624, 2024.
Preprint Cite Project DOI Github Artifact
User Journey Games: Automating User-Centric Analysis
Building User Journey Games from Multi-Party Event Logs
Proc. EdbA 2022. LNBIP 468, Springer 2023.
Preprint Cite Project DOI Github
Weighted Games for User Journeys
Proc. SEFM 2022. LNCS 13550, Springer 2022.
Preprint Cite Project DOI Github Artifact