Event
The dates and events shown here are dynamically displayed from Stud.IP.
Therefore, if you have any questions, please contact the person listed under the item Lehrende/DozentIn (Lecturers) directly.
Event
Semester:
Winter term
2022
2.01.591 Verification of Distributed AI Systems -
Event date(s) | room
Location
- A5 2-229 / Wed. 10-12 / Start: 19.10.2022
Description
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.
- 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.
Lecturers
SWS
--
Lehrsprache
--