Logo des Repositoriums
 

Modellierung und Verifikation von Fähigkeiten rationaler Agenten

dc.contributor.authorBulling, Nils
dc.contributor.editorHölldobler, Steffen
dc.date.accessioned2020-08-21T08:46:32Z
dc.date.available2020-08-21T08:46:32Z
dc.date.issued2011
dc.description.abstractIn 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.de
dc.identifier.isbn978-3-88579-415-8
dc.identifier.pissn1617-5468
dc.identifier.urihttps://dl.gi.de/handle/20.500.12116/33790
dc.language.isode
dc.publisherGesellschaft für Informatik
dc.relation.ispartofAusgezeichnete Informatikdissertationen 2010
dc.relation.ispartofseriesLecture Notes in Informatics (LNI) - Dissertations, Volume D-11
dc.titleModellierung und Verifikation von Fähigkeiten rationaler Agentende
gi.citation.endPage70
gi.citation.publisherPlaceBonn
gi.citation.startPage61

Dateien

Originalbündel
1 - 1 von 1
Lade...
Vorschaubild
Name:
61.pdf
Größe:
625.83 KB
Format:
Adobe Portable Document Format