Vincent Langenfeld, Bernd Westphal, Rebecca Albrecht, Andreas Podelski. But does it really do that? Using formal analysis to ensure desirable ACT-R model behaviour. In Chuck Kalish, Martina A. Rau, Xiaojin (Jerry) Zhu, Timothy T. Rogers, editors, Proceedings of the 40th Annual Meeting of the Cognitive Science Society, CogSci 2018, Madison, WI, USA, July 25-28, 2018. cognitivesciencesociety.org, 2018. [doi]
@inproceedings{LangenfeldWAP18,
title = {But does it really do that? Using formal analysis to ensure desirable ACT-R model behaviour},
author = {Vincent Langenfeld and Bernd Westphal and Rebecca Albrecht and Andreas Podelski},
year = {2018},
url = {https://mindmodeling.org/cogsci2018/papers/0141/index.html},
researchr = {https://researchr.org/publication/LangenfeldWAP18},
cites = {0},
citedby = {0},
booktitle = {Proceedings of the 40th Annual Meeting of the Cognitive Science Society, CogSci 2018, Madison, WI, USA, July 25-28, 2018},
editor = {Chuck Kalish and Martina A. Rau and Xiaojin (Jerry) Zhu and Timothy T. Rogers},
publisher = {cognitivesciencesociety.org},
isbn = {978-0-9911967-8-4},
}