Gotlieb A, Louarn M, Nygard M, Ruiz-Lopez T, Sen S, Gori R. Constraint-Based Verification of a Mobile App Game Designed for Nudging People to Attend Cancer Screening. AAAI [Internet]. 2017Feb.11 [cited 2024Aug.17];31(2):4678-85. Available from: https://ojs.aaai.org/index.php/AAAI/article/view/19094