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
Originalbündel
1 - 1 von 1
Vorschaubild nicht verfügbar
- Name:
- 61.pdf
- Größe:
- 625.83 KB
- Format:
- Adobe Portable Document Format