Einar Broch Johnsen
Einar Broch Johnsen
Home
Talks
Recent Talks
All Talks
Publications
Recent Publications
All Publications
Projects
Recent Projects
All Projects
Sirius
Service
Recent Service
All Service
Teaching
Contact
Light
Dark
Automatic
User Journeys
Stochastic Games for User Journeys
Proc. FM 2024. LNCS, Springer 2024. To appear.
Paul Kobialka
,
Andrea Pferscher
,
Gunnar Rye Bergersen
,
Einar Broch Johnsen
,
Silvia Lizeth Tapia Tarifa
Preprint
Cite
Project
Github
Artifact
Cite
×