Constraint-Based Verification of a Mobile App Game Designed for Nudging People to Attend Cancer Screening.

Arnaud Gotlieb, Marine Louarn, Mari Nygrd, Toms Ruiz-Lpez, Sagar Sen, Roberta Gori

Browse the full AAAI paper archive.