January 01, 2024 book-chapter Open access Aachen paper Compositional Reasoning for Parametric Probabilistic Automata RWTH Publications (RWTH Aachen) DOI: 10.18154/rwth-2025-09754 Full text (OA) OpenAlex Authors 0 Author list not loaded yet. Cited by 0 stored of 0 No patents citing this paper on Lens.org (checked 2026-10-06). References 0