Publisher
Springer International Publishing
Reference23 articles.
1. W.R. Ashby, Design for a Brain (Chapman & Hall, London. Revised edition, 1960)
2. H. Barringer, M. Fisher, D. Gabbay, R. Owens, M. Reynolds, The Imperative Future: Principles of Executable Temporal Logic (Research Studies Press Ltd. and Wiley, 1996)
3. T. Bosse, C.M. Jonker, L. van der Meij, A. Sharpanskykh, J. Treur, Specification and verification of dynamics in agent models. Int. J. Cooperat. Inf. Syst. 18, 167–193 (2009a)
4. T. Bosse, C.M. Jonker, J. Treur, Representation for reciprocal agent-environment interaction. Cogn. Syst. Res. 10, 366–376 (2009b)
5. E.M. Clarke, O. Grumberg, D.A. Peled, Model Checking (MIT Press, 2000)