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 WiSe22/23
Current number of participants 1
expected number of participants 12
Home institute Department of Computing Science
Courses type Seminar in category Teaching
Type/Form SE
Lehrsprache --

Rooms and times

A5 2-229 / Wed. 10-12 / Start: 19.10.2022

Comment/Description

Current research from the area of distributed artificial intelligence including:
  • multi-agent systems
  • distributed optimization
  • swarm algorithms
  • self-x systems

with a focus on the (formal) verification of algorithm and system properties, e.g.:
  • runtime
  • solution quality
  • safety
  • liveness
  • emergent properties
  • ...

The seminar will be run as a continuous reading group with a two week cycle. We decide on a paper to read, have 2 weeks to read and analyze and discuss it on the next meeting. As a basis for this discussion we will answer a set of recurring questions for each paper.

The final evaluation will be based on the work on these questions as well as active participation in the discussion.

Admission settings

The course is part of admission "Anmeldung gesperrt (global)".
Erzeugt durch den Stud.IP-Support
The following rules apply for the admission:
  • Admission locked.