Login / Signup
On Formal Verification of ACT-R Architectures and Models.
Vincent Langenfeld
Bernd Westphal
Andreas Podelski
Published in:
CogSci (2019)
Keyphrases
</>
formal verification
computational models
artificial intelligence
parameter estimation
complex systems
symbolic model checking
computational model
model checking
metamodel
model checker
computing paradigms
knowledge acquisition