|
[KFB+24]
Paul Kobialka, Andrea Pferscher, Gunnar R. Bergersen, Einar Broch Johnsen and Silvia Lizeth Tapia Tarifa.
Stochastic Games for User Journeys.
In Proc. 26th International Symposium on Formal Methods (FM'24).
2024.
[Learns stochastic games models of user journeys and analyses them with PRISM-games.]
|
|
Links:
[Google]
[Google Scholar]
|