Oyendrila Dobe | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Ezio Bartocci
43 publications
Borzoo Bonakdarpour
19 publications
Erika Ábrahám
15 publications
Lina Gerlach
1 publication

research

∙ 07/11/2023

Introducing Asynchronicity to Probabilistic Hyperproperties

Probabilistic hyperproperties express probabilistic relations between di...

0 Lina Gerlach, et al. ∙

research

∙ 05/13/2020

Probabilistic Hyperproperties with Nondeterminism

We study the problem of formalizing and checking probabilistic hyperprop...

0 Erika Ábrahám, et al. ∙