<XML><RECORDS><RECORD><REFERENCE_TYPE>3</REFERENCE_TYPE><REFNUM>9326</REFNUM><AUTHORS><AUTHOR>Kirwan,R.</AUTHOR><AUTHOR>Miller,A.</AUTHOR></AUTHORS><YEAR>2010</YEAR><TITLE>Modelling Multi-agent systems</TITLE><PLACE_PUBLISHED>Proceedings of the Automated Reasoning Workshop 2010 (ARW'10)</PLACE_PUBLISHED><PUBLISHER>N/A</PUBLISHER><PAGES>18-19</PAGES><LABEL>Kirwan:2010:9326</LABEL><KEYWORDS><KEYWORD>Model checking</KEYWORD></KEYWORDS<ABSTRACT>Model checking has been applied to many areas of software and hardware verification; this includes hybrid systems, which contain both hardware and software components. To model hybrid systems both types of component are included in a single model. In this research we consider hybrid systems in which multiple agents interact in an environment. An agent is a simple robot capable of moving, detecting obstacles and learning to avoid obstacles. The goal of this research is to discover a practical and standardised way of modelling these systems, and to develop theoretical techniques to measure performance.</ABSTRACT></RECORD></RECORDS></XML>