TY  - RPRT
TI  - Approximate Probabilistic Bisimulation for Continuous-Time Markov Chains
AU  - Timm Spork
AU  - Christel Baier
AU  - Joost-Pieter Katoen
AU  - Sascha Klüppelholz
AU  - Jakob Piribauer
PY  - 2025
UR  - https://arxiv.org/abs/2505.15587
ID  - 2505.15587
ER  -