Modellierung und Verifikation von Fähigkeiten rationaler Agenten

dc.contributor.author	Bulling, Nils
dc.contributor.editor	Hölldobler, Steffen
dc.date.accessioned	2020-08-21T08:46:32Z
dc.date.available	2020-08-21T08:46:32Z
dc.date.issued	2011
dc.description.abstract	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.	de
dc.identifier.isbn	978-3-88579-415-8
dc.identifier.pissn	1617-5468
dc.identifier.uri	https://dl.gi.de/handle/20.500.12116/33790
dc.language.iso	de
dc.publisher	Gesellschaft für Informatik
dc.relation.ispartof	Ausgezeichnete Informatikdissertationen 2010
dc.relation.ispartofseries	Lecture Notes in Informatics (LNI) - Dissertations, Volume D-11
dc.title	Modellierung und Verifikation von Fähigkeiten rationaler Agenten	de
gi.citation.endPage	70
gi.citation.publisherPlace	Bonn
gi.citation.startPage	61

Dateien

1 - 1 von 1