[agents] Master research internship on Verification of Attack Graph based Games

[Vadim Malvone]

You can find attached a proposal for a master thesis internship at LTCI, 
Telecom Paris.

Interested candidates can contact by email Jean Leneutre 
<jean.leneutre at telecom-paris.fr> and Vadim Malvone 
<vadim.malvone at telecom-paris.fr>.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: stage verification-attack-graph M2.pdf
Type: application/pdf
Size: 452779 bytes
Desc: not available
URL: <https://lists.cs.umbc.edu/pipermail/agents/attachments/20230117/534dd6c3/attachment-0001.pdf>