UniversitätAktuelles & PresseVeranstaltungen
Automated Verification of Multi-Agent Systems. Why, What, and Especially: How?
28 Jun
28. Juni 2023
Kolloquium

Automated Verification of Multi-Agent Systems. Why, What, and Especially: How?

Automated verification of discrete-state systems has been a hot topic in computer science for over 40 years. The idea found its way into AI and multi-agent systems in early 2000's, and  techniques for verification of such systems have been in constant development since then. Model checking of temporal, epistemic, and strategic properties is one of the most prominent and most successful approaches.

In this talk, I present a brief introduction to the topic, and mention relevant properties that one might like to verify this way. Then, I describe some very recent results which can potentially lead  to practical solutions. I conclude by a presentation of the experimental tool for verification of strategic ability, being developed by our research group at the Polish Academy of Sciences.

Referent/Referentin

Prof. Dr. Wojtek Jamroga, Polish Academy of Sciences, Warschau

Veranstalter

Prof. Dr. Heribert Vollmer, Institut für Theoretische Informatik

Termin

28. Juni 2023
16:15 Uhr - 17:00 Uhr

Ort

Institut für Theoretische Informatik
Geb.: 3408
Raum: 1611
Seminarraum des Instituts
Appelstraße 9a
30167 Hannover
Standort anzeigen