Specification and Verification of Dynamics in Cognitive Agent Models | IEEE Conference Publication | IEEE Xplore