Logo des Repositoriums
 
Textdokument

Modellierung und Verifikation von Fähigkeiten rationaler Agenten

Lade...
Vorschaubild

Volltext URI

Dokumententyp

Zusatzinformation

Datum

2011

Autor:innen

Zeitschriftentitel

ISSN der Zeitschrift

Bandtitel

Verlag

Gesellschaft für Informatik

Zusammenfassung

In dieser Dissertation wird untersucht, wie rationales Verhalten von Agenten modelliert und verifiziert werden kann. Es werden diverse Ansätze durch formale logikorientierte Methoden ausgedrückt und die Komplexität der jeweiligen Modellverifikationsprobleme (model checking problems) bestimmt.

Beschreibung

Bulling, Nils (2011): Modellierung und Verifikation von Fähigkeiten rationaler Agenten. Ausgezeichnete Informatikdissertationen 2010. Bonn: Gesellschaft für Informatik. PISSN: 1617-5468. ISBN: 978-3-88579-415-8. pp. 61-70

Schlagwörter

Zitierform

DOI

Tags