Marine Louarn
External collaborator
Publications
Simula-affiliated publications listed
2017
Proceedings, refereed
Read Constraint-Based Verification of a Mobile App Game Designed for Nudging People to Attend Cancer Screening
A. Gotlieb, M. Louarn, M. Nygård, T. Ruiz-Lopez, S. Sen and R. Gori
Constraint-Based Verification of a Mobile App Game Designed for Nudging People to Attend Cancer Screening
Proceedings of Innovative Applications of Artificial Intelligence (IAAI-17), Feb. 2017, San Francisco, USA