@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}
}
@inbook {23814,
	title = {FightHPV: Et spill som skal {\o}ke bevisstheten rundt HPV, og {\guillemotleft}dulte{\guillemotright} folk til {\r a} forebygge livmorhalskreft},
	booktitle = {Special Issue: Catch-HPV},
	year = {2015},
	pages = {137-143},
	publisher = {Kreftregisteret},
	organization = {Kreftregisteret},
	address = {Oslo, Norway},
	abstract = {Kreft registeret og Simula har utviklet mobilspillet FightHPV i et fors{\o}k p{\r a} {\r a} {\o}ke bevissthet og kunnskap om human papillomavirus (HPV) og f{\o}lgene av det, s{\ae}rlig livmorhalskreft. {\O}kningen i smarttelefonbruk gj{\o}r det mulig {\r a} bruke spilltenkning for {\r a} {\o}ke bevisstheten om screening og HPV, men forel{\o}pig dette en tiln{\ae}rming som i liten grad er utforsket vitenskapelig. Det {\o}nsker vi n{\r a} {\r a} endre p{\r a}.},
	author = {Sen, Sagar and Ruiz-Lopez, Tomas and Jacobsen, Elisabeth}
}
