A
Menu
January 01, 2020 conference-paper Open access Aachen paper

Probabilistic Hyperproperties with Nondeterminism

Lecture notes in computer science, pp. 518–534

DOI: 10.1007/978-3-030-59152-6_29 Full text (OA) OpenAlex

Authors 4

  1. Erika Ábrahám Aachen

    RWTH Aachen University

    Affiliation as printed

    RWTH-Aachen, Aachen, Germany

    RWTH Aachen University

  2. Ezio Bartocci

    TU Wien

    Affiliation as printed

    Technische Universität Wien, Vienna, Austria

    Vienna University of Technology

  3. Borzoo Bonakdarpour corresponding

    Michigan State University

    Affiliation as printed

    Michigan State University, East Lansing, USA

     Michigan State University

  4. Oyendrila Dobe

    Michigan State University

    Affiliation as printed

    Michigan State University, East Lansing, USA

     Michigan State University

Cited by 23 stored of 23

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

References 26