A
Menu
July 31, 2026 article Open access Aachen paper

Verifying Parameterized LTL for Infinite-State Systems

Zenodo (CERN European Organization for Nuclear Research)

DOI: 10.5281/zenodo.21720892 Full text (OA) OpenAlex

Authors 3

  1. Nils Lommen Aachen

    RWTH Aachen University

    Affiliation as printed

    RWTH Aachen University

  2. Moritz Leven Rosarius Aachen

    RWTH Aachen University

    Affiliation as printed

    RWTH Aachen University

  3. Jürgen Giesl Aachen

    RWTH Aachen University

    Affiliation as printed

    RWTH Aachen University

Cited by 0 stored of 0

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

References 0