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

2 Apr 2025

Workshop

Title	ROCKS Workshop 2025
Abbreviated title	ROCKS 2025
Duration	2 - 4 April 2025
Website	https://www.modestchecker.net/rocks2025/
Location	Eindhoven University of Technology
City	Eindhoven
Country	Netherlands

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

Workshop

Keywords

Related content

Approximate Probabilistic Bisimulation for Continuous-Time Markov Chains