But does it really do that? Using formal analysis to ensure desirable ACT-R model behaviour - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Vincent Langenfeld' in GoogleThis author has not been identified. Look up 'Bernd Westphal' in GoogleThis author has not been identified. Look up 'Rebecca Albrecht' in GoogleThis author has not been identified. Look up 'Andreas Podelski' in Google

runs on WebDSL