Seminar: 2.01.591 Verification of Distributed AI Systems - Details

Seminar: 2.01.591 Verification of Distributed AI Systems - Details

Sie sind nicht in Stud.IP angemeldet.

Allgemeine Informationen

Veranstaltungsname Seminar: 2.01.591 Verification of Distributed AI Systems
Untertitel inf591
Veranstaltungsnummer 2.01.591
Semester WiSe22/23
Aktuelle Anzahl der Teilnehmenden 1
erwartete Teilnehmendenanzahl 12
Heimat-Einrichtung Department für Informatik
Veranstaltungstyp Seminar in der Kategorie Lehre
Art/Form SE
Lehrsprache --

Räume und Zeiten

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

Kommentar/Beschreibung

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.

Anmelderegeln

Diese Veranstaltung gehört zum Anmeldeset "Anmeldung gesperrt (global)".
Erzeugt durch den Stud.IP-Support
Folgende Regeln gelten für die Anmeldung:
  • Die Anmeldung ist gesperrt.