guest ::
001021924 001__ 1021924 001021924 005__ 20260302093737.0 001021924 0247_ $$2ISBN$$a978-3-95977-389-8 001021924 0247_ $$2SCOPUS$$aSCOPUS:2-s2.0-105013835665 001021924 0247_ $$2WOS$$aWOS:001570540800031 001021924 0247_ $$2datacite_doi$$a10.18154/RWTH-2025-09754 001021924 0247_ $$2doi$$a10.4230/LIPICS.CONCUR.2025.31 001021924 037__ $$aRWTH-2025-09754 001021924 041__ $$aEnglish 001021924 1001_ $$0P:(DE-82)IDM06570$$aMertens, Hannah$$b0$$eCorresponding author$$urwth 001021924 1112_ $$a36. International Conference on Concurrency Theory$$cAarhus$$d2025-08-25 - 2025-08-30$$gCONCUR 2025$$wDenmark 001021924 245__ $$aCompositional Reasoning for Parametric Probabilistic Automata$$honline 001021924 260__ $$aWadern$$bSchloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH$$c2025 001021924 29510 $$a36th International Conference on Concurrency Theory : CONCUR 2025, August 26-29, 2025, Aarhus, Denmark / edited by Patricia Bouyer, Jaco van de Pol 001021924 300__ $$a31:1-31:20 001021924 3367_ $$07$$2EndNote$$aBook Section 001021924 3367_ $$0PUB:(DE-HGF)7$$2PUB:(DE-HGF)$$aContribution to a book$$bcontb$$mcontb 001021924 3367_ $$0PUB:(DE-HGF)8$$2PUB:(DE-HGF)$$aContribution to a conference proceedings 001021924 3367_ $$2BibTeX$$aINBOOK 001021924 3367_ $$2DRIVER$$abookPart 001021924 3367_ $$2DataCite$$aOutput Types/Book chapter 001021924 3367_ $$2ORCID$$aBOOK_CHAPTER 001021924 4900_ $$aLeibniz international proceedings in informatics$$v348 001021924 536__ $$0G:(MKW NRW)005-2401-0001$$aMKW NRW 005-2401-0001 - VerifAIPO : Verifying Al Systems under Partial Observability (005-2401-0001)$$c005-2401-0001$$x0 001021924 588__ $$aDataset connected to , , , DataCite 001021924 591__ $$aGermany 001021924 650_7 $$2Other$$aAssume-guarantee reasoning 001021924 650_7 $$2Other$$aParameter synthesis 001021924 650_7 $$2Other$$aParametric Probabilistic Automata 001021924 650_7 $$2Other$$aProbabilistic systems 001021924 650_7 $$2Other$$aTheory of computation → Logic 001021924 650_7 $$2Other$$aVerification 001021924 7001_ $$0P:(DE-82)IDM01389$$aQuatmann, Tim$$b1$$urwth 001021924 7001_ $$0P:(DE-82)IDM00048$$aKatoen, Joost-Pieter$$b2$$urwth 001021924 7870_ $$0RWTH-2026-02226$$iIsParent 001021924 8564_ $$uhttps://publications.rwth-aachen.de/record/1021924/files/1021924.pdf$$yOpenAccess 001021924 909CO $$ooai:publications.rwth-aachen.de:1021924$$popenaire$$popen_access$$pdriver$$pdnbdelivery$$pVDB 001021924 9101_ $$0I:(DE-588b)36225-6$$6P:(DE-82)IDM06570$$aRWTH Aachen$$b0$$kRWTH 001021924 9101_ $$0I:(DE-588b)36225-6$$6P:(DE-82)IDM01389$$aRWTH Aachen$$b1$$kRWTH 001021924 9101_ $$0I:(DE-588b)36225-6$$6P:(DE-82)IDM00048$$aRWTH Aachen$$b2$$kRWTH 001021924 9141_ $$y2025 001021924 9151_ $$0StatID:(DE-HGF)0031$$2StatID$$aPeer reviewed article$$x0 001021924 915__ $$0LIC:(DE-HGF)CCBY4$$2HGFVOC$$aCreative Commons Attribution CC BY 4.0 001021924 915__ $$0StatID:(DE-HGF)0510$$2StatID$$aOpenAccess 001021924 9201_ $$0I:(DE-82)121310_20140620$$k121310$$lLehrstuhl für Softwaremodellierung und Verifikation (Informatik 2)$$x0 001021924 9201_ $$0I:(DE-82)120000_20140620$$k120000$$lFachgruppe Informatik$$x1 001021924 961__ $$c2025-11-18T15:01:19.619051$$x2025-11-18T15:01:19.619051$$z2025-11-18T15:01:19.619051 001021924 9801_ $$aFullTexts 001021924 980__ $$aI:(DE-82)120000_20140620 001021924 980__ $$aI:(DE-82)121310_20140620 001021924 980__ $$aUNRESTRICTED 001021924 980__ $$aVDB 001021924 980__ $$acontb 001021924 980__ $$acontrib