guest ::
Fixed Point Certificates for Reachability and Expected Rewards in MDPs
; ; ; ; ;
2025
Online
DOI: 10.48550/arXiv.2501.11467
DOI: 10.18154/RWTH-2025-02090
URL: https://publications.rwth-aachen.de/record/1005904/files/1005904.pdf
Einrichtungen
- Lehrstuhl für Softwaremodellierung und Verifikation (Informatik 2) (121310)
- Graduiertenkolleg UnRAVeL (080060)
- Fachgruppe Informatik (120000)
Inhaltliche Beschreibung (Schlagwörter)
Discrete Mathematics (cs.DM) (Genormte SW) ; FOS: Computer and information sciences (Genormte SW) ; FOS: Electrical engineering, electronic engineering, information engineering (Genormte SW) ; Logic in Computer Science (cs.LO) (Genormte SW) ; Systems and Control (eess.SY) (Genormte SW)
OpenAccess: 
PDF
External link: 
Fulltext by arXiv.org
Dokumenttyp
Preprint
Format
online
Sprache
English
Externe Identnummern
arXiv: arXiv:2501.11467
Interne Identnummern
RWTH-2025-02090
Datensatz-ID: 1005904
Beteiligte Länder
Austria, Germany
Related:
Contribution to a book/Contribution to a conference proceedings
Fixed Point Certificates for Reachability and Expected Rewards in MDPs
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
31. International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2025, Hamilton, ONHamilton, ON, Canada, 3 May 2025 - 8 May 2025
28. International Joint Conference on Theory and Practice of Software, ETAPS 2025, Hamilton, ONHamilton, ON, Canada, 3 May 2025 - 8 May 2025
Cham : Springer Nature Switzerland, Lecture notes in computer science 15697, : 1st ed. 2025, 130-151 (2025) [10.1007/978-3-031-90653-4_7]
Files
BibTeX |
EndNote:
XML,
Text |
RIS
; 
