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

Vincent Langenfeld, Bernd Westphal, Rebecca Albrecht, Andreas Podelski

Browse the full CogSci paper archive.