A
Menu
October 28, 2022 article Open access Aachen paper

Model checking hyperproperties for Markov decision processes

Information and Computation, vol. 289, pp. 104978

DOI: 10.1016/j.ic.2022.104978 Full text (OA) OpenAlex

Authors 4

  1. Oyendrila Dobe corresponding

    Michigan State University

    Affiliation as printed

    Michigan State University, USA

  2. Erika Ábrahám Aachen

    RWTH Aachen University

    Affiliation as printed

    RWTH Aachen University, Germany

  3. Ezio Bartocci

    TU Wien

    Affiliation as printed

    Technische Universität Wien, Austria

  4. Borzoo Bonakdarpour corresponding

    Michigan State University

    Affiliation as printed

    Michigan State University, USA

Cited by 5 stored of 5

5 results

No patents citing this paper on Lens.org (checked 2026-10-06).

References 43