Gotlieb, A., Louarn, M., Nygard, M., Ruiz-Lopez, T., Sen, S. and Gori, R. 2017. Constraint-Based Verification of a Mobile App Game Designed for Nudging People to Attend Cancer Screening. Proceedings of the AAAI Conference on Artificial Intelligence. 31, 2 (Feb. 2017), 4678-4685. DOI:https://doi.org/10.1609/aaai.v31i2.19094.