http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png

Under-Approximating Expected Total Rewards in POMDPs

Bork, Alexander Nikolai (Corresponding author)^RWTH* ; Katoen, Joost-Pieter^RWTH* ; Quatmann, Tim^RWTH*

In
Tools and Algorithms for the Construction and Analysis of Systems : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part II / edited by Dana Fisman, Grigore Rosu, Seiten/Artikel-Nr: 22-40

2022

Konferenz/Event:28. International Conference on Tools and Algorithms for the Construction and Analysis of Systems , Munich , Germany , TACAS 2022 , 2022-04-02 - 2022-04-07

Konferenz/Event:European Joint Conferences on Theory and Practice of Software , Munich , Germany , ETAPS 2022 , 2022-04-02 - 2022-04-07

ImpressumCham : Springer International Publishing

Umfang22-40

ISBN978-3-030-99526-3, 978-3-030-99527-0

ReiheLecture Notes in Computer Science ; 13244

Online
DOI: 10.1007/978-3-030-99527-0_2
10.1007/978-3-030-99527-0_2
DOI: 10.18154/RWTH-2022-03987
URL: https://publications.rwth-aachen.de/record/844526/files/844526.pdf

Einrichtungen

1. Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation) (121310)
2. Graduiertenkolleg UnRAVeL (080060)
3. Fachgruppe Informatik (120000)

Projekte

1. GRK 2236 - UNRAVEL - UNcertainty and Randomness in Algorithms, VErification, and Logic (282652900) (282652900)

OpenAccess:
PDF

Dokumenttyp
Contribution to a book/Contribution to a conference proceedings

Format
online, print

Sprache
English

Anmerkung
Peer reviewed article

Externe Identnummern
WOS Core Collection: WOS:000782398900002
SCOPUS: SCOPUS:2-s2.0-85128732843
OpenAlex: W4297754339

Interne Identnummern
RWTH-2022-03987
Datensatz-ID: 844526

Beteiligte Länder
Germany