Approximate Probabilistic Bisimulation for Continuous-Time Markov Chains

Aktivität: Vortrag oder Präsentation an externen Einrichtungen/Veranstaltungen › Vortrag › Beigetragen

Personen und Einrichtungen

Timm Spork - , Professur für Algebraische und logische Grundlagen der Informatik (Redner:in)

Datum

23 Juli 2025

Konferenz

Titel	37th International Conference on Computer Aided Verification
Kurztitel	CAV 2025
Veranstaltungsnummer	37
Dauer	21 - 25 Juli 2025
Webseite	https://conferences.i-cav.org/2025/
Ort	Westin Hotel Zagreb
Stadt	Zagreb
Land	Kroatien

Schlagworte

Verknüpfte Inhalte

Veröffentlichungen

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. (Hrsg.). Springer Science and Business Media B.V., S. 56-81 26 S. (Lecture notes in computer science, Band 15932 LNCS).

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung

Alle Veröffentlichungen ansehen (1)

Forschungsportal der TU Dresden

Personen und Einrichtungen

Datum

Konferenz

Schlagworte

Verknüpfte Inhalte