<div dir="ltr">Engineering Reliable Multi-Agent Systems<br><br>Special Issue of the Journal of Autonomous Agents and Multi-Agent Systems<br><br>There is increasing interest in the application of multi-agent systems (MAS)<br>technology in safety-critical applications, such as UAVs, healthcare,<br>manufacturing, etc. However, deployment of MAS in safety-critical applications<br>will only be achieved if they can be shown to operate reliably. Demonstrating<br>that a multi-agent system will operate reliably is an extremely challenging<br>problem. The potential "behaviour space" of many systems (e.g., robots for care<br>of the elderly) is vastly larger than that addressed by current approaches to<br>engineering reliable systems. Such systems are implicitly expected to be able to<br>"do the right thing" in the face of conflicting objectives and in complex,<br>ill-structured environments. Addressing these challenges cannot be achieved by<br>incremental improvements to existing software engineering and verification<br>methodologies, but will require step changes in how we specify, engineer, test<br>and verify systems.<br><br>The special issue targets high-quality papers on current trends in research on<br>engineering reliable multi-agent systems. Submissions to the special issue may<br>take the form of original research papers, surveys, and viewpoints offering<br>perspectives on the future of engineering reliable multi-agent systems.<br><br>Relevant topics include, but are not limited to, the following:<br><br>* Methodologies for identifying properties that a particular reliable MAS needs <br>  to satisfy<br>* Languages and formalisms for specifying reliability properties<br>* Individual and collective reliability in MAS<br>* Techniques and technologies for the engineering of reliable MAS<br>* Engineering reliable MAS that include learning<br>* Engineering reliable MAS that include human-machine interaction<br>* Frameworks, architectures, and infrastructures for reliable agents and MAS<br>* Programming languages for reliable agents and MAS<br>* Verification techniques for reliable MAS<br><br>Issue Editors<br><br>Jurgen Dix, Clausthal University of Technology, <a href="mailto:dix@tu-clausthal.de" target="_blank">dix@tu-clausthal.de</a> <br>Brian Logan, University of Nottingham, <a href="mailto:brian.logan@nottingham.ac.uk" target="_blank">brian.logan@nottingham.ac.uk</a> <br>Michael Winikoff, Victoria University of Wellington, <a href="mailto:michael.winikoff@vuw.ac.nz" target="_blank">michael.winikoff@vuw.ac.nz</a><br><br><br>Submission and Reviews Procedures<br><br>Special Issues are handled in the normal way via the online Editorial Manager<br>system found at <a href="https://agnt.edmgr.com" target="_blank">https://agnt.edmgr.com</a>. Please choose the article type "S.I. :<br>Engineering Reliable Multi-Agent Systems". Special Issue articles should fulfil<br>all the standard requirements of any JAAMAS article. Authors should note that<br>the same criteria apply to articles in Special Issues as to regular articles.<br><br>All papers will undergo the same rigorous AGNT review process. Please refer to<br>the JAAMAS website for detailed instructions on paper submission:<br><br><a href="http://www.springer.com/computer/ai/journal/10458" target="_blank">http://www.springer.com/computer/ai/journal/10458</a><br><br>Deadline for Submissions: 1 January 2020<br>Notification:                        1 March  2020<br>Final Version:                     1 May 2020</div>