h1

000999819 001__ 999819
000999819 005__ 20250905143821.0
000999819 0247_ $$2ISBN$$a978-3-031-75782-2
000999819 0247_ $$2ISBN$$a978-3-031-75783-9
000999819 0247_ $$2ISBN$$a978-3-031-75784-6
000999819 0247_ $$2ISSN$$a0302-9743
000999819 0247_ $$2ISSN$$a1611-3349
000999819 0247_ $$2SCOPUS$$aSCOPUS:2-s2.0-85212120399
000999819 0247_ $$2doi$$a10.1007/978-3-031-75783-9_11
000999819 037__ $$aRWTH-2024-12327
000999819 041__ $$aEnglish
000999819 1001_ $$0P:(DE-82)IDM04047$$aBatz, Kevin$$b0$$urwth
000999819 245__ $$aJ-P: MDP. FP. PP: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs$$honline, print
000999819 260__ $$aCham$$bSpringer$$c2025
000999819 260__ $$c2024
000999819 29510 $$aPrinciples of verification: cycling the probabilistic landscape, [Bd.] Part 1 / Nils Jansen, Sebastian Junges, Benjamin Lucien Kaminski, Christoph Matheja, Thomas Noll, Tim Quatmann, Mariëlle Stoelinga, Matthias Volk, editors
000999819 300__ $$a255-302
000999819 3367_ $$07$$2EndNote$$aBook Section
000999819 3367_ $$0PUB:(DE-HGF)7$$2PUB:(DE-HGF)$$aContribution to a book$$bcontb$$mcontb
000999819 3367_ $$2BibTeX$$aINBOOK
000999819 3367_ $$2DRIVER$$abookPart
000999819 3367_ $$2DataCite$$aOutput Types/Book chapter
000999819 3367_ $$2ORCID$$aBOOK_CHAPTER
000999819 4900_ $$aLecture notes in computer science$$v15260
000999819 500__ $$aFirst Online: 13 November 2024
000999819 536__ $$0G:(EU-Grant)787914$$aFRAPPANT - Formal Reasoning About Probabilistic Programs: Breaking New Ground for Automation (787914)$$c787914$$fERC-2017-ADG$$x0
000999819 536__ $$0G:(GEPRIS)282652900$$aGRK 2236 - GRK 2236: Unsicherheit und Randomisierung in Algorithmen, Verifikation und Logik. (282652900)$$c282652900$$x1
000999819 536__ $$0G:(EU-Grant)101008233$$aMISSION - Models in Space Systems: Integration, Operation, and Networking (101008233)$$c101008233$$fH2020-MSCA-RISE-2020$$x2
000999819 588__ $$aDataset connected to CrossRef Book Series, Journals: publications.rwth-aachen.de
000999819 591__ $$aGermany
000999819 591__ $$aNetherlands
000999819 7001_ $$aKaminski, Benjamin Lucien$$b1$$eCorresponding author
000999819 7001_ $$aMatheja, Christoph$$b2
000999819 7001_ $$0P:(DE-82)IDM03625$$aWinkler, Tobias$$b3$$urwth
000999819 7870_ $$0RWTH-2024-10968$$iHasPart
000999819 909CO $$ooai:publications.rwth-aachen.de:999819$$pec_fundedresources$$popenaire$$pVDB
000999819 9101_ $$0I:(DE-588b)36225-6$$6P:(DE-82)IDM04047$$aRWTH Aachen$$b0$$kRWTH
000999819 9101_ $$0I:(DE-588b)36225-6$$6P:(DE-82)IDM03625$$aRWTH Aachen$$b3$$kRWTH
000999819 9141_ $$y2024
000999819 915__ $$0StatID:(DE-HGF)0200$$2StatID$$aDBCoverage$$bSCOPUS$$d2023-09-03
000999819 915__ $$0StatID:(DE-HGF)0420$$2StatID$$aNationallizenz$$d2023-09-03$$wger
000999819 9201_ $$0I:(DE-82)121310_20140620$$k121310$$lLehrstuhl für Softwaremodellierung und Verifikation (Informatik 2)$$x0
000999819 9201_ $$0I:(DE-82)120000_20140620$$k120000$$lFachgruppe Informatik$$x1
000999819 961__ $$c2024-12-24T00:00:44.643438$$x2024-12-24T00:00:44.643438$$z2024-12-27
000999819 980__ $$aI:(DE-82)120000_20140620
000999819 980__ $$aI:(DE-82)121310_20140620
000999819 980__ $$aUNRESTRICTED
000999819 980__ $$aVDB
000999819 980__ $$acontb