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
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