AuthorsA. Gotlieb, M. Louarn, M. Nygård, T. Ruiz-Lopez, S. Sen and R. Gori
TitleConstraint-Based Verification of a Mobile App Game Designed for Nudging People to Attend Cancer Screening
AfilliationSoftware Engineering
Project(s)The Certus Centre (SFI)
Publication TypeProceedings, refereed
Year of Publication2017
Conference NameProceedings of Innovative Applications of Artificial Intelligence (IAAI-17), Feb. 2017, San Francisco, USA
Date Published02/2017
Citation Key24913

Contact person