<div dir="ltr"><div><div>You will find attached a proposal for a master's thesis internship in the IRIT laboratory in Toulouse, France.<br><br>Interested candidates should contact by email Munyque Mittelmann <<a href="mailto:Munyque.Mittelmann@irit.fr">Munyque.Mittelmann@irit.fr</a>> or Laurent Perrussel <<a href="mailto:laurent.perrussel@irit.fr">laurent.perrussel@irit.fr</a>>.<br><br>Summary:<br>--------<br>The purpose is to provide a tool for automated verification of multi-agent systems. The Master thesis will focus on implementing an extension of an existing tool, named MCMAS-SLK, to handle natural strategies (i.e., strategies that are machine-processable with bounded memory while being “human-friendly”). MCMAS-SLK is a model checker for the verification of systems against specifications given in epistemic strategy logic (SLK).<br>--------</div><div><br></div><div>More information: <a href="https://irit.fr/~Munyque.Mittelmann/wp-content/uploads/sites/24/2021/11/Master-MCMAS-2021.pdf">https://irit.fr/~Munyque.Mittelmann/wp-content/uploads/sites/24/2021/11/Master-MCMAS-2021.pdf</a></div><div><br>Best regards,<br>Munyque and Laurent<br></div>-- <br><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr"><div>IRIT - Université Toulouse 1 Capitole<br></div><div><a href="http://www.irit.fr/~Munyque.Mittelmann" target="_blank">www.irit.fr/~Munyque.Mittelmann</a></div></div></div></div></div>