[agents] Master's thesis internship proposal "Model checker for multi-agent systems" (Toulouse, France)

[Munyque Mittelmann]

You will find attached a proposal for a master's thesis internship in the
IRIT laboratory in Toulouse, France.

Interested candidates should contact by email Munyque Mittelmann <
Munyque.Mittelmann at irit.fr> or Laurent Perrussel <laurent.perrussel at irit.fr
>.

Summary:
--------
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).
--------

More information:
https://irit.fr/~Munyque.Mittelmann/wp-content/uploads/sites/24/2021/11/Master-MCMAS-2021.pdf

Best regards,
Munyque and Laurent
-- 
IRIT - Université Toulouse 1 Capitole
www.irit.fr/~Munyque.Mittelmann
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.cs.umbc.edu/pipermail/agents/attachments/20211126/9b68de5d/attachment-0001.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Master MCMAS- 2021.pdf
Type: application/pdf
Size: 149780 bytes
Desc: not available
URL: <https://lists.cs.umbc.edu/pipermail/agents/attachments/20211126/9b68de5d/attachment-0001.pdf>