{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T04:00:53Z","timestamp":1742875253993,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642289385"},{"type":"electronic","value":"9783642289392"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-28939-2_1","type":"book-chapter","created":{"date-parts":[[2012,3,27]],"date-time":"2012-03-27T13:35:56Z","timestamp":1332855356000},"page":"3-21","source":"Crossref","is-referenced-by-count":3,"title":["Towards Simulation-Aided Design of Multi-Agent Systems"],"prefix":"10.1007","author":[{"given":"Michal","family":"P\u011bchou\u010dek","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michal","family":"Jakob","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter","family":"Nov\u00e1k","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"1_CR1","doi-asserted-by":"crossref","unstructured":"Babaoglu, O., Meling, H., Montresor, A.: Anthill: A framework for the development of agent-based peer-to-peer systems. In: International Conference on Distributed Computing Systems (ICDCS), pp. 15\u201322 (2002)","DOI":"10.1109\/ICDCS.2002.1022238"},{"key":"1_CR2","unstructured":"Beck, K.: Test Driven Development: By Example. Addison-Wesley Professional (November 2002)"},{"key":"1_CR3","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"156","DOI":"10.1007\/3-540-39173-8_12","volume-title":"Engineering Societies in the Agents World III","author":"C. Bernon","year":"2003","unstructured":"Bernon, C., Gleizes, M.P., Peyruqueou, S., Picard, G.: ADELFE: A Methodology for Adaptive Multi-agent Systems Engineering. In: Petta, P., Tolksdorf, R., Zambonelli, F. (eds.) ESAW 2002. LNCS (LNAI), vol.\u00a02577, pp. 156\u2013169. Springer, Heidelberg (2003)"},{"key":"1_CR4","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1023\/B:AGNT.0000018806.20944.ef","volume":"8","author":"P. Bresciani","year":"2004","unstructured":"Bresciani, P., Perini, A., Giorgini, P., Giunchiglia, F., Mylopoulos, J.: Tropos: An agent-oriented software development methodology. Autonomous Agents and Multi-Agent Systems\u00a08, 203\u2013236 (2004)","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"key":"1_CR5","unstructured":"Collier, N.: RePast: An extensible framework for agent simulation. Technical Report\u00a036, The University of Chicago, Social Science Research (2003)"},{"key":"1_CR6","unstructured":"Duvall, P.M., Matyas, S., Glover, A.: Continuous Integration: Improving Software Quality and Reducing Risk. Addison-Wesley Professional (July 2007)"},{"key":"1_CR7","unstructured":"The European\u00a0Organisation for the Safety\u00a0of Air\u00a0Navigation. EUROCONTROL BADA (2011), http:\/\/www.eurocontrol.int\/eec\/public\/standard_page\/proj_BADA.html"},{"issue":"2","key":"1_CR8","first-page":"167","volume":"36","author":"M.E.T. Horn","year":"2002","unstructured":"Horn, M.E.T.: Multi-modal and demand-responsive passenger transport systems: a modelling framework with embedded control systems. Transportation Research Part A: Policy and Practice\u00a036(2), 167\u2013188 (2002)","journal-title":"Transportation Research Part A: Policy and Practice"},{"key":"1_CR9","unstructured":"Jakob, M., Van\u011bk, O., Urban, \u0160., Benda, P., P\u011bchou\u010dek, M.: Employing Agents to Improve the Security of International Maritime Transport. In: Proceedings of the 6th workshop on Agents in Traffic and Transportation, ATT 2010 (May 2010)"},{"key":"1_CR10","unstructured":"Jakovljevic, G., Basch, D.: Implementing multiscale traffic simulators using agents. In: 26th International Conference on Information Technology Interfaces, vol.\u00a01, pp. 519\u2013524 (June 2004)"},{"key":"1_CR11","doi-asserted-by":"crossref","unstructured":"Koenig, N., Howard, A.: Design and use paradigms for Gazebo, an open-source multi-robot simulator. In: Proceedings of the 2004 IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS 2004), vol.\u00a03, pp. 2149\u20132154 (September 2004)","DOI":"10.1109\/IROS.2004.1389727"},{"key":"1_CR12","unstructured":"McCarthy, J.: Elaboration tolerance (1999), http:\/\/www-formal.stanford.edu\/jmc\/elaboration.html"},{"key":"1_CR13","unstructured":"Pavl\u00ed\u010dek, D., Jakob, M., Semsch, E., P\u011bchou\u010dek, M.: Occlusion-aware multi-uav surveillance of multiple urban areas. In: 6th Workshop on Agents in Traffic and Transportation, ATT 2010 (2010)"},{"key":"1_CR14","doi-asserted-by":"crossref","unstructured":"Padgham, L., Winikoff, M.: Prometheus: A practical agent-oriented methodology. Agent-Oriented Methodologies, 107\u2013135 (2005)","DOI":"10.4018\/978-1-59140-581-8.ch005"},{"key":"1_CR15","unstructured":"P\u011bchou\u010dek, M., \u0160i\u0161l\u00e1k, D., Pavl\u00ed\u010dek, D., Volf, P., Kop\u0159\u00edva, \u0160.: AGENTFLY: Distributed Simulation of Air Traffic Control Using Unmanned Aerial Vehicles. In: Proceedings of 2nd Conference for Unmanned Aerial Systems, UAS (March 2010)"},{"key":"1_CR16","doi-asserted-by":"crossref","unstructured":"Pipattanasomporn, M., Feroze, H., Rahman, S.: Multi-agent systems in a distributed smart grid: Design and implementation. In: IEEE\/PES Power Systems Conference and Exposition, PSCE 2009, pp. 1\u20138 (2009)","DOI":"10.1109\/PSCE.2009.4840087"},{"key":"1_CR17","unstructured":"\u0160i\u0161l\u00e1k, D., Volf, P., P\u011bchou\u010dek, M.: Agent-Based Cooperative Decentralized Airplane-Collision Avoidance. IEEE Transactions on Intelligent Transportation Systems\u00a0(99), 1\u201311 (2009)"},{"key":"1_CR18","doi-asserted-by":"crossref","unstructured":"\u0160i\u0161l\u00e1k, D., Volf, P., P\u011bchou\u010dek, M.: Agent-Based Cooperative Decentralized Airplane-Collision Avoidance. IEEE Transactions on Intelligent Transportation Systems\u00a0(99), 1\u201311 (2010)","DOI":"10.1109\/TITS.2010.2057246"},{"key":"1_CR19","unstructured":"Procerus Technologies. Procerus Technologies: Fly Light with world\u2019s smallest UAV Autopilot (2011), http:\/\/procerusuav.com\/"},{"key":"1_CR20","unstructured":"Wilensky, U.: Netlogo. Technical report, Center for Connected Learning and Computer-Based Modeling, Northwestern University (1999), http:\/\/ccl.northwestern.edu\/netlogo\/"},{"issue":"3","key":"1_CR21","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1145\/958961.958963","volume":"12","author":"F. Zambonelli","year":"2003","unstructured":"Zambonelli, F., Jennings, N.R., Wooldridge, M.: Developing multiagent systems: The gaia methodology. ACM Trans. Softw. Eng. Methodol.\u00a012(3), 317\u2013370 (2003)","journal-title":"ACM Trans. Softw. Eng. Methodol."}],"container-title":["Lecture Notes in Computer Science","Programming Multi-Agent Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-28939-2_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,24]],"date-time":"2025-03-24T03:06:18Z","timestamp":1742785578000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-28939-2_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642289385","9783642289392"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-28939-2_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}