Stud.IP Uni Oldenburg
University of Oldenburg
20.03.2023 13:14:45
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 --

Räume und Zeiten

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


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.