Toggle navigation
reposiTUm
ABOUT REPOSITUM
HELP
Login
News
Browse by
Publication Types
Organizations
Researchers
Projects
TU Wien Academic Press
Open Access Series
Theses
Digitised Works
Year of Publication
Dobe, Oyendrila
Network Lab
View Statistics
Email Alert
RSS Feed
Profile
Profil
Profile
Profil
Full name
Familienname, Vorname
Dobe, Oyendrila
ORCID
0000-0002-0799-1498
Own Publications
Eigene Publikationen
(All)
All
Articles
Show/Hide filters
Author
1
Bartocci, Ezio
1
Bonakdarpour, Borzoo
1
Dobe, Oyendrila
1
Ábrahám, Erika
Subject
1
Hyperproperties
1
Information leakage
1
Markov models
1
Model checking
1
Policy synthesis
Date issued
1
2000 - 2024
Close filters
Results 1-1 of 1 (Search time: 0.001 seconds).
RIS
EndNote
Bibtex
Excel
CSV
Send via email
Preview
Authors / Editors
Title
Type
Issue Date
1
Dobe, Oyendrila
;
Ábrahám, Erika
;
Bartocci, Ezio
;
Bonakdarpour, Borzoo
Model checking hyperproperties for Markov decision processes
Article
Artikel
2022
Claim Researcher Page
Login via ORCID to claim this profile:
ORCID Login
Contact via feedback form
If you want contact administrator site clicking the follow button