Modellierung und Verifikation von Fähigkeiten rationaler Agenten

dc.contributor.author	Bulling, Nils
dc.contributor.editor	Hölldobler, Steffen
dc.contributor.editor	et al.
dc.date.accessioned	2020-08-21T08:46:32Z
dc.date.available	2020-08-21T08:46:32Z
dc.date.issued	2011
dc.identifier.isbn	978-3-88579-415-8
dc.identifier.issn	1617-5468
dc.identifier.uri	http://dl.gi.de/handle/20.500.12116/33790
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.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
dc.pubPlace	Bonn
mci.reference.pages	61-70