Constraint-Based Verification of a Mobile App Game Designed for Nudging People to Attend Cancer Screening
- Authors
- A. Gotlieb, M. Louarn, M. Nygård, T. Ruiz-Lopez, S. Sen and R. Gori
- Status
- Published
- Publication type
- Proceedings Refereed
- Year of publication
- 2017
- Journal
- Proceedings of Innovative Applications of Artificial Intelligence (IAAI-17), Feb. 2017, San Francisco, USA
- Publisher
- AAAI
- Citation key
- 14250