h1

h2

h3

h4

h5
h6

001     1014495
005     20260224145256.0
024 7 _ |2 ISBN
|a 978-3-031-90652-7
024 7 _ |2 ISBN
|a 978-3-031-90653-4
024 7 _ |2 ISBN
|a 978-3-031-90654-1
024 7 _ |2 ISSN
|a 0302-9743
024 7 _ |2 ISSN
|a 1611-3349
024 7 _ |2 SCOPUS
|a SCOPUS:2-s2.0-105004789057
024 7 _ |2 datacite_doi
|a 10.18154/RWTH-2025-06111
024 7 _ |2 doi
|a 10.1007/978-3-031-90653-4_7
037 _ _ |a RWTH-2025-06111
041 _ _ |a English
100 1 _ |0 0000-0002-4561-241X
|a Chatterjee, Krishnendu
|b 0
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, print
250 _ _ |a 1st ed. 2025
260 _ _ |a Cham
|b Springer Nature Switzerland
|c 2025
295 1 0 |a 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
300 _ _ |a 130-151
336 7 _ |0 33
|2 EndNote
|a Conference Paper
336 7 _ |0 PUB:(DE-HGF)7
|2 PUB:(DE-HGF)
|a Contribution to a book
336 7 _ |0 PUB:(DE-HGF)8
|2 PUB:(DE-HGF)
|a Contribution to a conference proceedings
|b contrib
|m contrib
336 7 _ |2 BibTeX
|a INPROCEEDINGS
336 7 _ |2 DRIVER
|a conferenceObject
336 7 _ |2 DataCite
|a Output Types/Conference Paper
336 7 _ |2 ORCID
|a CONFERENCE_PAPER
490 0 _ |a Lecture notes in computer science
|v 15697
536 _ _ |0 G:(MKW NRW)005-2401-0001
|a MKW NRW 005-2401-0001 - VerifAIPO : Verifying Al Systems under Partial Observability (005-2401-0001)
|c 005-2401-0001
|x 0
588 _ _ |a Dataset connected to CrossRef Book Series, Journals: publications.rwth-aachen.de
591 _ _ |a Austria
591 _ _ |a Germany
700 1 _ |0 P:(DE-82)IDM01389
|a Quatmann, Tim
|b 1
|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
|u rwth
700 1 _ |0 P:(DE-82)IDM07164
|a Zilken, Daniel
|b 5
|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
787 0 _ |0 RWTH-2025-02090
|i IsParent
856 4 _ |u https://publications.rwth-aachen.de/record/1014495/files/1014495.pdf
|y OpenAccess
909 C O |o oai:publications.rwth-aachen.de:1014495
|p VDB
|p dnbdelivery
|p driver
|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)IDM07164
|a RWTH Aachen
|b 5
|k RWTH
914 1 _ |y 2025
915 1 _ |0 StatID:(DE-HGF)0031
|2 StatID
|a Peer reviewed article
|x 0
915 _ _ |0 LIC:(DE-HGF)CCBY4
|2 HGFVOC
|a Creative Commons Attribution CC BY 4.0
915 _ _ |0 StatID:(DE-HGF)0200
|2 StatID
|a DBCoverage
|b SCOPUS
|d 2024-12-28
915 _ _ |0 StatID:(DE-HGF)0420
|2 StatID
|a Nationallizenz
|d 2024-12-28
|w ger
915 _ _ |0 StatID:(DE-HGF)0510
|2 StatID
|a OpenAccess
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 contb
980 _ _ |a contrib

LibraryCollectionCLSMajorCLSMinorLanguageAuthor
Marc 21