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. Proceedings of the AAAI Conference on Artificial Intelligence, [S. l.], v. 31, n. 2, p. 4678-4685, 2017. DOI: 10.1609/aaai.v31i2.19094. Disponível em: https://ojs.aaai.org/index.php/AAAI/article/view/19094. Acesso em: 18 jul. 2024.