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

Institutions

• Department of Computer Science [120000]
• Theory of Hybrid Systems Research Group [123420]