guest ::
001013869 001__ 1013869 001013869 005__ 20251024053851.0 001013869 0247_ $$2arXiv$$aarXiv:2505.16357 001013869 0247_ $$2doi$$a10.48550/arXiv.2505.16357 001013869 0247_ $$2datacite_doi$$a10.18154/RWTH-2025-05753 001013869 037__ $$aRWTH-2025-05753 001013869 041__ $$aEnglish 001013869 1001_ $$0P:(DE-82)IDM05995$$aGerlach, Carolina$$b0$$urwth 001013869 245__ $$aEfficient Probabilistic Model Checking for Relational Reachability (Extended Version)$$honline 001013869 260__ $$c2025 001013869 300__ $$a30 Seiten 001013869 3367_ $$028$$2EndNote$$aElectronic Article 001013869 3367_ $$0PUB:(DE-HGF)25$$2PUB:(DE-HGF)$$aPreprint$$bpreprint$$mpreprint 001013869 3367_ $$2BibTeX$$aARTICLE 001013869 3367_ $$2DRIVER$$apreprint 001013869 3367_ $$2DataCite$$aOutput Types/Working Paper 001013869 3367_ $$2ORCID$$aWORKING_PAPER 001013869 591__ $$aGermany 001013869 591__ $$aNetherlands 001013869 591__ $$aUSA 001013869 7001_ $$0P:(DE-82)IDM03625$$aWinkler, Tobias$$b1$$urwth 001013869 7001_ $$0P:(DE-82)IDM00047$$aÁbrahám, Erika$$b2$$urwth 001013869 7001_ $$aBonakdarpour, Borzoo$$b3 001013869 7001_ $$aJunges, Sebastian$$b4 001013869 8564_ $$uhttps://publications.rwth-aachen.de/record/1013869/files/1013869.pdf$$yOpenAccess 001013869 909CO $$ooai:publications.rwth-aachen.de:1013869$$popenaire$$popen_access$$pVDB$$pdriver$$pdnbdelivery 001013869 9101_ $$0I:(DE-588b)36225-6$$6P:(DE-82)IDM05995$$aRWTH Aachen$$b0$$kRWTH 001013869 9101_ $$0I:(DE-588b)36225-6$$6P:(DE-82)IDM03625$$aRWTH Aachen$$b1$$kRWTH 001013869 9101_ $$0I:(DE-588b)36225-6$$6P:(DE-82)IDM00047$$aRWTH Aachen$$b2$$kRWTH 001013869 9141_ $$y2025 001013869 915__ $$0StatID:(DE-HGF)0510$$2StatID$$aOpenAccess 001013869 915__ $$0LIC:(DE-HGF)CCBYSA4$$2HGFVOC$$aCreative Commons Attribution-ShareAlike CC BY-SA 4.0 001013869 9201_ $$0I:(DE-82)123420_20140620$$k123420$$lLehr- und Forschungsgebiet Theorie Hybrider Systeme$$x0 001013869 9201_ $$0I:(DE-82)120000_20140620$$k120000$$lFachgruppe Informatik$$x1 001013869 9201_ $$0I:(DE-82)121310_20140620$$k121310$$lLehrstuhl für Softwaremodellierung und Verifikation (Informatik 2)$$x2 001013869 961__ $$c2025-06-30T10:50:17.005490$$x2025-06-30T10:50:17.005490$$z2025-06-30 001013869 980__ $$aI:(DE-82)120000_20140620 001013869 980__ $$aI:(DE-82)121310_20140620 001013869 980__ $$aI:(DE-82)123420_20140620 001013869 980__ $$aUNRESTRICTED 001013869 980__ $$aVDB 001013869 980__ $$apreprint 001013869 9801_ $$aFullTexts