This module is a reading group seminar of current research on verification techniques for multi-agent systems (MAS).

Agents are (partially) independent units with the ability to observe their local environment, communicate with other agents and make decisions.
MAS are a highly flexible paradigm making them scalable, adaptable and resilient.
This comes at the cost of increased complexity, making hard guarantees on the behavior of MAS difficult to prove, especially when emergent system behaviors can not be easily derived from individual agent actions.
In this seminar we will read and discuss recent research on ways to deal with this complexity. These techniques can apply to different levels of conceptualization, including (but not limited to):
* describing the MAS as a whole:
* algorithmic view of agent actions
* local agent view
The seminar will consist of 2 week cycles. We decide on a paper and discuss it 2 weeks later in the next meeting.
The paper selection is mostly decided by the students within the bounds of the seminar topic.
Active participation in these discussions is the basis for evaluation.