Gotlieb, A., M. Louarn, M. Nygard, 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 the AAAI Conference on Artificial Intelligence, vol. 31, no. 2, Feb. 2017, pp. 4678-85, doi:10.1609/aaai.v31i2.19094.