{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T00:07:39Z","timestamp":1743034059289,"version":"3.40.3"},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319202297"},{"type":"electronic","value":"9783319202303"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-20230-3_6","type":"book-chapter","created":{"date-parts":[[2015,6,4]],"date-time":"2015-06-04T11:44:06Z","timestamp":1433418246000},"page":"64-78","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Performance Evaluation of Agents and Multi-agent Systems Using Formal Specifications in Z Notation"],"prefix":"10.1007","author":[{"given":"Christos","family":"Dimou","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fani","family":"Tzima","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andreas L.","family":"Symeonidis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pericles A.","family":"Mitkas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,6,5]]},"reference":[{"key":"6_CR1","unstructured":"Albus, J., Messina, E.R., Evans, J.M.: Measuring performance of systems with autonomy: metrics for intelligence of constructed systems. In: Messina, E., Mystel, A.M. (eds.) Proceedings of the First International Workshop Performance Metrics for Intelligent Systems (PerMIS) Workshop, pp. 1\u201330. NIST SP 970, 14\u201316 August 2000"},{"issue":"3","key":"6_CR2","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1109\/MIS.2009.45","volume":"24","author":"L Cao","year":"2009","unstructured":"Cao, L., Gorodetsky, V., Mitkas, P.: Agent mining: the synergy of agents and data mining. IEEE Intell. Syst. 24(3), 64\u201372 (2009)","journal-title":"IEEE Intell. Syst."},{"key":"6_CR3","doi-asserted-by":"crossref","unstructured":"Dimou, C., Falelakis, M., Symeonidis, A.L., Delopoulos, A., Mitkas, P.A.: Constructing optimal fuzzy metric trees for agent performance evaluation. In: Proceedings of the 2008 IEEE\/WIC\/ACM International Conference on Intelligent Agent Technology (IAT-08), 9\u201312 December 2008","DOI":"10.1109\/WIIAT.2008.374"},{"issue":"4","key":"6_CR4","doi-asserted-by":"publisher","first-page":"7630","DOI":"10.1016\/j.eswa.2008.09.061","volume":"36","author":"C Dimou","year":"2009","unstructured":"Dimou, C., Symeonidis, A.L., Mitkas, P.A.: An integrated infrastructure for monitoring and evaluating agent-based systems. Expert Syst. Appl. 36(4), 7630\u20137643 (2009)","journal-title":"Expert Syst. Appl."},{"key":"6_CR5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-10702-7","volume-title":"Understanding Agent Systems","author":"M D\u2019Inverno","year":"2004","unstructured":"D\u2019Inverno, M., Luck, M.: Understanding Agent Systems. SpringerVerlag, Berlin (2004)"},{"key":"6_CR6","unstructured":"Goodrich, M.A., Boer, E.R., Crandall, J.W., Ricks, R.W., Quigley, M.L.: Behavioral entropy in human-robot interaction. In: Proceedings of the Fourth International Workshop on Performance Metrics for Intelligent Systems (PERMIS), 13\u201315 August 2002"},{"key":"6_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"597","DOI":"10.1007\/978-3-540-30207-0_74","volume-title":"Grid and Cooperative Computing - GCC 2004 Workshops","author":"JA McCann","year":"2004","unstructured":"McCann, J.A., Huebscher, M.C.: Evaluation issues in autonomic computing. In: Jin, H., Pan, Y., Xiao, N., Sun, J. (eds.) GCC 2004. LNCS, vol. 3252, pp. 597\u2013608. Springer, Heidelberg (2004)"},{"issue":"2","key":"6_CR8","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1145\/227531.227533","volume":"21","author":"BA Kitchenham","year":"1996","unstructured":"Kitchenham, B.A.: Evaluating software engineering methods and tool, part 2: selecting an appropriate evaluation method technical criteria. SIGSOFT Softw. Eng. Notes 21(2), 11\u201315 (1996)","journal-title":"SIGSOFT Softw. Eng. Notes"},{"key":"6_CR9","volume-title":"A Dictionary of Cybernetics","author":"K Krippendorff","year":"1986","unstructured":"Krippendorff, K.: A Dictionary of Cybernetics. The American Society for Cybernetics, Norfolk (1986)"},{"key":"6_CR10","unstructured":"Landauer, C., Bellman, K.: Refactored characteristics in intelligent computing systems. In: Proceedings of the PERMIS02, pp. 303\u2013306 (2002)"},{"key":"6_CR11","series-title":"Lecture Notes in Computer Science","first-page":"47","volume-title":"ZUM \u201995: The Z Formal Specification Notation","author":"M Luck","year":"1995","unstructured":"Luck, M., d\u2019Inverno, M.: Structuring a z specification to provide a formal framework for autonomous agent systems. In: Bowen, J.P., Hinchey, M.G. (eds.) ZUM 1995. LNCS, vol. 967, pp. 47\u201362. Springer, Heidelberg (1995)"},{"key":"6_CR12","unstructured":"Madhavan, R., Messina, E.: Permis 2000 white paper: measuring performance and intelligence. In: Messina, E., Mystel, A.M. (eds.) Proceedings of the First International Workshop Performance Metrics for Intelligent Systems (PerMIS) Workshop, NIST SP 970, 14\u201316 August 2000"},{"key":"6_CR13","unstructured":"Nelson, A.L., Grant, E., Henderson, T.C.: Competitive relative performance evaluation of neural controllers for competitive game playing with teams of real mobile robots. In: Proceedings of the 2002 PerMIS Workshop, pp. 43\u201350. NIST Special Publication 990, 13\u201315 August 2002"},{"key":"6_CR14","unstructured":"Scholtz, J., Antonishek, B., Young, J.: Evaluation of human-robot interaction in the nist reference search and rescue test arenas. In: Proceedings of the Fourth International Workshop on Performance Metrics for Intelligent Systems (PERMIS), 13\u201315 August 2002"},{"key":"6_CR15","volume-title":"The Z Notation: A Reference Manual","author":"MJ Spivey","year":"1989","unstructured":"Spivey, M.J.: The Z Notation: A Reference Manual. Prentice-Hall Inc., Upper Saddle River (1989)"},{"key":"6_CR16","doi-asserted-by":"crossref","unstructured":"Tzima, F.A., Symeonidis, A.L., Mitkas, P.A.: Symbiosis: using predator-prey games as a test bed for studying competitive co-evolution. In: International Conference on Integration of Knowledge Intensive Multi-Agent Systems, KIMAS 2007, pp. 115\u2013120, 30 April 2007\u20133 May 2007","DOI":"10.1109\/KIMAS.2007.369795"},{"key":"6_CR17","unstructured":"Zadeh, L.A.: In quest of performance metrics for intelligent systems - a challenge that cannot be met with existing methods. In: Messina, E., Mystel, A.M. (eds.) Proceedings of the Performance Metrics for Intelligent Systems (PerMIS) Workshop, pp. 303\u2013306. NIST SP 990, 13\u201315 August 2002"}],"container-title":["Lecture Notes in Computer Science","Agents and Data Mining Interaction"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-20230-3_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,20]],"date-time":"2023-01-20T18:24:56Z","timestamp":1674239096000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-20230-3_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319202297","9783319202303"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-20230-3_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"5 June 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}