Login / Signup
Timm Spork
Publication Activity (10 Years)
Years Active: 2024-2024
Publications (10 Years): 2
Top Topics
Uncertain Data
Exact And Approximate
Probabilistic Interpretation
Bayesian Networks
Top Venues
CoRR
CONCUR
</>
Publications
</>
Timm Spork
,
Christel Baier
,
Joost-Pieter Katoen
,
Jakob Piribauer
,
Tim Quatmann
A Spectrum of Approximate Probabilistic Bisimulations.
CONCUR
(2024)
Timm Spork
,
Christel Baier
,
Joost-Pieter Katoen
,
Jakob Piribauer
,
Tim Quatmann
A Spectrum of Approximate Probabilistic Bisimulations.
CoRR
(2024)