Gori, Roberta

1 publications

AAAI 2017 Constraint-Based Verification of a Mobile App Game Designed for Nudging People to Attend Cancer Screening Arnaud Gotlieb, Marine Louarn, Mari Nygård, Tomás Ruiz-López, Sagar Sen, Roberta Gori