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), pp. 4678-4685. doi: 10.1609/aaai.v31i2.19094.