A
Menu
January 01, 2022 conference-paper Aachen paper

HyperPCTL Model Checking by Probabilistic Decomposition

Lecture notes in computer science, pp. 209–226

DOI: 10.1007/978-3-031-07727-2_12 OpenAlex

Authors 4

  1. Eshita Zaman corresponding

    Iowa State University

    Affiliation as printed

    Iowa State University, Ames, IA, 50011, USA

  2. Gianfranco Ciardo

    Iowa State University

    Affiliation as printed

    Iowa State University, Ames, IA, 50011, USA

  3. Erika Ábrahám Aachen

    RWTH Aachen University

    Affiliation as printed

    RWTH Aachen University, 52062, Aachen, Germany

  4. Borzoo Bonakdarpour

    Michigan State University

    Affiliation as printed

    Michigan State University, East Lansing, MI, 48824, USA

Cited by 2 stored of 2

2 results

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

References 29