Gotlieb, A., Louarn, M., Nygard, M., Ruiz-Lopez, T., Sen, S., & 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), 4678-4685. https://doi.org/10.1609/aaai.v31i2.19094