Seminarthema: Reasoning about Strategic Abilities in Multi-Agent Systems
| Typ: | Seminarthema |
|---|---|
| Betreuer: | |
| Links: |
Paper |
In diesem Thema geht es um die Verifikation von Multi-Agenten-Systemen
unter Berücksichtigung von Agenten, die natürliche
strategische Fähigkeiten haben. Es wird eine angepasste
Temporallogik eingeführt, mithilfe der sich solche Sachverhalte
spieltheoretisch modellieren und darauf aufbauende Entscheidungsprobleme
definieren lassen [2]. Darin werden passende illustrative Beispiele mit dem
Werkzeug UPPAAL mithilfe praktischer Abstraktionen effizient verifiziert [1].
Innerhalb des Seminars soll die verwendete Logik inklusive Vor- und
Nachteilen vorgestellt und darauf eingegangen werden, wie sich praktische
Beispiele verifizieren lassen.