Login / Signup
Lina Gerlach
ORCID
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 2
Top Topics
Posterior Probability
Context Sensitive
Uncertain Data
Probabilistic Interpretation
Top Venues
CoRR
QEST
</>
Publications
</>
Lina Gerlach
,
Oyendrila Dobe
,
Erika Ábrahám
,
Ezio Bartocci
,
Borzoo Bonakdarpour
Introducing Asynchronicity to Probabilistic Hyperproperties.
QEST
(2023)
Lina Gerlach
,
Oyendrila Dobe
,
Erika Ábrahám
,
Ezio Bartocci
,
Borzoo Bonakdarpour
Introducing Asynchronicity to Probabilistic Hyperproperties.
CoRR
(2023)