Full name Familienname, Vorname
Dobe, Oyendrila
 

Results 1-1 of 1 (Search time: 0.001 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Dobe, Oyendrila ; Ábrahám, Erika ; Bartocci, Ezio ; Bonakdarpour, Borzoo Model checking hyperproperties for Markov decision processesArticle Artikel 2022