Specification and Verification of Dynamics in Cognitive Agent Models

T. Bosse, C.M. Jonker, L. van der Meij, O. Sharpanskykh, J. Treur

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Original languageEnglish
Title of host publicationProceedings of the Sixth International Conference on Intelligent Agent Technology (IAT'06)
EditorsToyoaki Nishida, Matthias Klusch, Katia Sycara, Makoto Yokoo, Jiming Liu, Benjamin Wah, William Cheung, Yiu-Ming Cheung
PublisherIEEE Computer Society Press
Publication statusPublished - 2006

Bibliographical note


Cite this