Oyendrila Dobe | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

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. ∙