Gotlieb, Arnaud, Marine Louarn, Mari Nygard, Tomas Ruiz-Lopez, Sagar Sen, and Roberta Gori. 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-85. https://doi.org/10.1609/aaai.v31i2.19094.