@inproceedings {24913,
	title = {Constraint-Based Verification of a Mobile App Game Designed for Nudging People to Attend Cancer Screening},
	journal = {Proceedings of Innovative Applications of Artificial Intelligence (IAAI-17), Feb. 2017, San Francisco, USA},
	year = {2017},
	month = {02/2017},
	publisher = {AAAI},
	author = {Gotlieb, Arnaud and Louarn, Marine and Nyg{\r a}rd, Mari and Ruiz-Lopez, Tomas and Sen, Sagar and Gori, Roberta}
}
