guest ::
| 001 | 1005904 | ||
| 005 | 20251006101415.0 | ||
| 024 | 7 | _ | |2 arXiv |a arXiv:2501.11467 |
| 024 | 7 | _ | |2 doi |a 10.48550/arXiv.2501.11467 |
| 024 | 7 | _ | |2 datacite_doi |a 10.18154/RWTH-2025-02090 |
| 037 | _ | _ | |a RWTH-2025-02090 |
| 041 | _ | _ | |a English |
| 100 | 1 | _ | |0 0000-0002-4561-241X |a Chatterjee, Krishnendu |b 0 |e Corresponding author |
| 111 | 2 | _ | |a 31. International Conference on Tools and Algorithms for the Construction and Analysis of Systems |c Hamilton, ON |d 2025-05-03 - 2025-05-08 |g TACAS 2025 |w Canada |
| 245 | _ | _ | |a Fixed Point Certificates for Reachability and Expected Rewards in MDPs |h online |
| 260 | _ | _ | |c 2025 |
| 300 | _ | _ | |a 54 Seiten |
| 336 | 7 | _ | |0 28 |2 EndNote |a Electronic Article |
| 336 | 7 | _ | |0 PUB:(DE-HGF)25 |2 PUB:(DE-HGF) |a Preprint |b preprint |m preprint |
| 336 | 7 | _ | |2 BibTeX |a ARTICLE |
| 336 | 7 | _ | |2 DRIVER |a preprint |
| 336 | 7 | _ | |2 DataCite |a Output Types/Working Paper |
| 336 | 7 | _ | |2 ORCID |a WORKING_PAPER |
| 588 | _ | _ | |a Dataset connected to DataCite |
| 591 | _ | _ | |a Austria |
| 591 | _ | _ | |a Germany |
| 650 | _ | 7 | |2 Other |a Discrete Mathematics (cs.DM) |
| 650 | _ | 7 | |2 Other |a FOS: Computer and information sciences |
| 650 | _ | 7 | |2 Other |a FOS: Electrical engineering, electronic engineering, information engineering |
| 650 | _ | 7 | |2 Other |a Logic in Computer Science (cs.LO) |
| 650 | _ | 7 | |2 Other |a Systems and Control (eess.SY) |
| 700 | 1 | _ | |0 P:(DE-82)IDM01389 |a Quatmann, Tim |b 1 |e Corresponding author |u rwth |
| 700 | 1 | _ | |0 0000-0002-2612-2335 |a Schäffeler, Maximilian |b 2 |
| 700 | 1 | _ | |0 0000-0002-0163-2152 |a Weininger, Maximilian |b 3 |e Corresponding author |
| 700 | 1 | _ | |0 P:(DE-82)IDM03625 |a Winkler, Tobias |b 4 |e Corresponding author |u rwth |
| 700 | 1 | _ | |0 P:(DE-82)IDM07164 |a Zilken, Daniel |b 5 |e Corresponding author |u rwth |
| 711 | 2 | _ | |a 28. International Joint Conference on Theory and Practice of Software |c Hamilton, ON |d 2025-05-03 - 2025-05-08 |g ETAPS 2025 |w Canada |
| 856 | 4 | _ | |u https://publications.rwth-aachen.de/record/1005904/files/1005904.pdf |y OpenAccess |
| 909 | C | O | |o oai:publications.rwth-aachen.de:1005904 |p dnbdelivery |p driver |p VDB |p open_access |p openaire |
| 910 | 1 | _ | |0 I:(DE-588b)36225-6 |6 P:(DE-82)IDM01389 |a RWTH Aachen |b 1 |k RWTH |
| 910 | 1 | _ | |0 I:(DE-588b)36225-6 |6 P:(DE-82)IDM03625 |a RWTH Aachen |b 4 |k RWTH |
| 910 | 1 | _ | |0 I:(DE-588b)36225-6 |6 P:(DE-82)995525 |a RWTH Aachen |b 5 |k RWTH |
| 914 | 1 | _ | |y 2025 |
| 915 | _ | _ | |0 StatID:(DE-HGF)0510 |2 StatID |a OpenAccess |
| 915 | _ | _ | |0 LIC:(DE-HGF)CCBY4 |2 HGFVOC |a Creative Commons Attribution CC BY 4.0 |
| 920 | 1 | _ | |0 I:(DE-82)121310_20140620 |k 121310 |l Lehrstuhl für Softwaremodellierung und Verifikation (Informatik 2) |x 0 |
| 920 | 1 | _ | |0 I:(DE-82)080060_20170720 |k 080060 |l Graduiertenkolleg UnRAVeL |x 1 |
| 920 | 1 | _ | |0 I:(DE-82)120000_20140620 |k 120000 |l Fachgruppe Informatik |x 2 |
| 980 | 1 | _ | |a FullTexts |
| 980 | _ | _ | |a I:(DE-82)080060_20170720 |
| 980 | _ | _ | |a I:(DE-82)120000_20140620 |
| 980 | _ | _ | |a I:(DE-82)121310_20140620 |
| 980 | _ | _ | |a UNRESTRICTED |
| 980 | _ | _ | |a VDB |
| 980 | _ | _ | |a preprint |
| Library | Collection | CLSMajor | CLSMinor | Language | Author |
|---|