Model checking hyperproperties for Markov decision processes

Dobe, Oyendrila (Corresponding author); Ábrahám, Erika; Bartocci, Ezio; Bonakdarpour, Borzoo (Corresponding author)

Amsterdam : Elsevier (2022)
Beitrag zu einem Tagungsband, Fachzeitschriftenartikel

In: Information and Computation
Band: 289
Heft: Part B
Seite(n)/Artikel-Nr.: 104978