Gotlieb, Arnaud, Marine Louarn, Mari Nygard, Tomas Ruiz-Lopez, Sagar Sen, and Roberta 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 31, no. 2 (February 11, 2017): 4678-4685. Accessed August 17, 2024. https://ojs.aaai.org/index.php/AAAI/article/view/19094.