Seminar: 2.01.591 Verification of Distributed AI Systems - Details

Seminar: 2.01.591 Verification of Distributed AI Systems - Details

You are not logged into Stud.IP.

General information

Course name Seminar: 2.01.591 Verification of Distributed AI Systems
Subtitle inf591
Course number 2.01.591
Semester WiSe23/24
Current number of participants 3
expected number of participants 14
Home institute Department of Computing Science
Courses type Seminar in category Teaching
First date Wednesday, 18.10.2023 10:00 - 12:00, Room: (A05 2-229)
Type/Form S
Lehrsprache deutsch und englisch

Rooms and times

(A05 2-229)
Wednesday: 10:00 - 12:00, weekly (14x)


This module is a reading group style 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:
* interpreted systems
* automata
* emergence design (guaranteeing system level properties by design)
* algorithmic view of agent actions
* distributed optimization algorithms
* local agent view
* behavioral verification of individual agents and consequences for system properties

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.