Current research from the area of distributed artificial intelligence including:
with a focus on the (formal) verification of algorithm and system properties, e.g.:
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.
The course is part of admission "Anmeldung gesperrt (global)".
Erzeugt durch den Stud.IP-Support The following rules apply for the admission: