Approximate Probabilistic Bisimulation for Continuous-Time Markov Chains

Activity: Talk or presentation at external institutions/events › Talk/Presentation › Contributed

Persons and affiliations

Timm Spork - , Chair of Algebraic and Logical Foundations of Computer Science (Speaker)

Date

23 Jul 2025

Conference

Title	37th International Conference on Computer Aided Verification
Abbreviated title	CAV 2025
Conference number	37
Duration	21 - 25 July 2025
Website	https://conferences.i-cav.org/2025/
Location	Westin Hotel Zagreb
City	Zagreb
Country	Croatia

Keywords

Approximate Probabilistic Bisimulation for Continuous-Time Markov Chains

Spork, T., Baier, C., Katoen, J. P., Klüppelholz, S. & Piribauer, J., 2025, Computer Aided Verification: 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part II. Piskac, R. & Rakamaric, Z. (eds.). Springer Science and Business Media B.V., p. 56-81 26 p. (Lecture notes in computer science, Vol. 15932 LNCS).

Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review

View all research output (1)

Research Portal of the TU Dresden

Approximate Probabilistic Bisimulation for Continuous-Time Markov Chains

Persons and affiliations

Date

Conference

Keywords

Related content

Approximate Probabilistic Bisimulation for Continuous-Time Markov Chains