Model checking hyperproperties for Markov decision processes

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

Amsterdam : Elsevier (2022)
Contribution to a conference proceedings, Journal Article

In: Information and Computation
Volume: 289
Issue: Part B
Page(s)/Article-Nr.: 104978