Modellierung und Verifikation von Fähigkeiten rationaler Agenten

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.
  • Vollständige Referenz
  • BibTeX
Bulling, N., (2011). Modellierung und Verifikation von Fähigkeiten rationaler Agenten. In: Hölldobler, S. & , . (Hrsg.), Ausgezeichnete Informatikdissertationen 2010. Bonn: Gesellschaft für Informatik. (S. 61-70).
@inproceedings{mci/Bulling2011,
author = {Bulling, Nils},
title = {Modellierung und Verifikation von Fähigkeiten rationaler Agenten},
booktitle = {Ausgezeichnete Informatikdissertationen 2010},
year = {2011},
editor = {Hölldobler, Steffen AND et al.} ,
pages = { 61-70 },
publisher = {Gesellschaft für Informatik},
address = {Bonn}
}
DateienGroesseFormatAnzeige
61.pdf625.8Kb PDF Öffnen

Haben Sie fehlerhafte Angaben entdeckt? Sagen Sie uns Bescheid: Feedback abschicken

Mehr Information

ISBN: 978-3-88579-415-8
ISSN: 1617-5468
Datum: 2011
Sprache: de (de)
Sammlungen

Zur Langanzeige