AuthorsA. Gotlieb, M. Louarn, M. Nyg\aard, T. Ruiz-Lopez, S. Sen and R. Gori
EditorsS. P. Singh and S. Markovitch
TitleConstraint-Based Verification of a Mobile App Game Designed for Nudging People to Attend Cancer Screening
AfilliationSoftware Engineering
Project(s)The Certus Centre (SFI)
StatusPublished
Publication TypeProceedings, refereed
Year of Publication2017
Conference NameProceedings of the Thirty-First {AAAI} Conference on Artificial Intelligence, February 4-9, 2017, San Francisco, California, {USA.
Pagination4678–4685
PublisherAAAI
URLhttp://aaai.org/ocs/index.php/IAAI/IAAI17/paper/view/14432
Citation KeyDBLP:conf/aaai/GotliebLNRSG17