General information
| Course name | Lecture: 2.01.591 Verification of Distributed AI Systems |
| Subtitle | inf591 |
| Course number | 2.01.591 |
| Semester | WiSe24/25 |
| Current number of participants | 4 |
| erwartete Teilnehmendenzahl | 20 |
| Home institute | Department of Computing Science |
| Courses type | Lecture in category Teaching |
| First date | Fri., 18.10.24, 10:00 - 12:00 |
| Type/Form | V |
| Lehrsprache | englisch |