Abstraktions-basierte Verifikation von POMDPs im Motion-Planning-Kontext

DSpace Repository

Show simple item record

dc.contributor.author Winterer, Leonore
dc.contributor.author Junges, Sebastian
dc.contributor.author Wimmer, Ralf
dc.contributor.author Jansen, Nils
dc.contributor.author Topcu, Ufuk
dc.contributor.author Katoen, Joost-Pieter
dc.contributor.author Becker, Bernd
dc.date.accessioned 2018-09-20T12:32:15Z
dc.date.available 2018-09-20T12:32:15Z
dc.date.issued 2018-03-13
dc.identifier.isbn 978-3-00-059317-8
dc.identifier.other 511158238
dc.identifier.uri http://hdl.handle.net/10900/84282
dc.identifier.uri http://nbn-resolving.de/urn:nbn:de:bsz:21-dspace-842826 de_DE
dc.identifier.uri http://dx.doi.org/10.15496/publikation-25672
dc.description.abstract Wir untersuchen Pfadplanungsprobleme aus der Robotik und die Berechnung von Stra- tegien, die beweisbare Garantien für Sicherheitseigenschaften liefern. Dabei soll ein Agent mit hoher Wahrscheinlichkeit einen Zielort erreichen, ohne mit einem Hindernis zusammenzustoßen, das sich probabilistisch durch den Raum bewegt. Schwierig wird dieses Problem dadurch, dass der Agent seine Umgebung nur eingeschränkt beobachten kann. Dieses Szenario lässt sich auf na- türliche Art und Weise als ein sogenannter partiell beobachtbarer Markow-Entscheidungsprozess (POMDP) modellieren. Da viele interessante Eigenschaften auf POMDPs unentscheidbar sind, beschäftigt sich die hier vorgestellte Arbeit mit der Entwicklung einer spielbasierten Abstraktionsmethode, um für solche Pfadplanungsprobleme und Sicherheitseigenschaften gute Approximationen zu berechnen. de_DE
dc.language.iso de de_DE
dc.publisher Universität Tübingen de_DE
dc.publisher Universität Tübingen de_DE
dc.rights ubt-podno de_DE
dc.rights.uri http://tobias-lib.uni-tuebingen.de/doku/lic_ohne_pod.php?la=de de_DE
dc.rights.uri http://tobias-lib.uni-tuebingen.de/doku/lic_ohne_pod.php?la=en en
dc.subject.classification Programmverifikation de_DE
dc.subject.ddc 004 de_DE
dc.subject.other motion planning en
dc.subject.other pomdp en
dc.subject.other verification en
dc.subject.other abstraction en
dc.subject.other probabilistic game en
dc.title Abstraktions-basierte Verifikation von POMDPs im Motion-Planning-Kontext de_DE
dc.type ConferencePaper de_DE
utue.publikation.fachbereich Informatik de_DE
utue.publikation.fakultaet 7 Mathematisch-Naturwissenschaftliche Fakultät de_DE
utue.opus.portal mbmv2018 de_DE
utue.publikation.reiheohneschema MBMV 2018 de_DE

Dateien:

This item appears in the following Collection(s)

Show simple item record