A
Menu
January 01, 2022 conference-paper Aachen paper

Probabilistic Hyperproperties with Rewards

Lecture notes in computer science, pp. 656–673

DOI: 10.1007/978-3-031-06773-0_35 OpenAlex

Authors 5

  1. Oyendrila Dobe

    Michigan State University

    Affiliation as printed

    Michigan State University, East Lansing, MI, USA

  2. Lukas Wilke Aachen

    RWTH Aachen University

    Affiliation as printed

    RWTH Aachen University, Aachen, Germany

  3. Erika Ábrahám Aachen

    RWTH Aachen University

    Affiliation as printed

    RWTH Aachen University, Aachen, Germany

  4. Ezio Bartocci

    TU Wien

    Affiliation as printed

    Technische Universität Wien, Vienna, Austria

  5. Borzoo Bonakdarpour corresponding

    Michigan State University

    Affiliation as printed

    Michigan State University, East Lansing, MI, USA

Cited by 6 stored of 6

6 results

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

References 33