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

Fixed Point Certificates for Reachability and Expected Rewards in MDPs

Chatterjee, Krishnendu ; Quatmann, Tim^RWTH* ; Schäffeler, Maximilian ; Weininger, Maximilian (Corresponding author) ; Winkler, Tobias^RWTH* ; Zilken, Daniel^RWTH*

In
Tools and Algorithms for the Construction and Analysis of Systems : 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part II / edited by Arie Gurfinkel, Marijn Heule, Seiten/Artikel-Nr: 130-151

2025

Ausgabe1st ed. 2025

Konferenz/Event:31. International Conference on Tools and Algorithms for the Construction and Analysis of Systems , Hamilton, ON , Canada , TACAS 2025 , 2025-05-03 - 2025-05-08

Konferenz/Event:28. International Joint Conference on Theory and Practice of Software , Hamilton, ON , Canada , ETAPS 2025 , 2025-05-03 - 2025-05-08

ImpressumCham : Springer Nature Switzerland

Umfang130-151

ISBN978-3-031-90652-7, 978-3-031-90653-4, 978-3-031-90654-1

ReiheLecture notes in computer science ; 15697

Online
DOI: 10.18154/RWTH-2025-06111
DOI: 10.1007/978-3-031-90653-4_7
10.1007/978-3-031-90653-4_7
URL: https://publications.rwth-aachen.de/record/1014495/files/1014495.pdf

Einrichtungen

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

Projekte

1. MKW NRW 005-2401-0001 - VerifAIPO : Verifying Al Systems under Partial Observability (005-2401-0001) (005-2401-0001)

OpenAccess:
PDF

Dokumenttyp
Contribution to a book/Contribution to a conference proceedings

Format
online, print

Sprache
English

Anmerkung
Peer reviewed article

Externe Identnummern
SCOPUS: SCOPUS:2-s2.0-105004789057

Interne Identnummern
RWTH-2025-06111
Datensatz-ID: 1014495

Beteiligte Länder
Austria, Germany