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

An Approach for Logic-based Knowledge Representation and Automated Reasoning over Underspecification and Refinement in Safety-Critical Cyber-Physical Systems

RWTH Publications (RWTH Aachen)

DOI: 10.18154/rwth-2020-08278 Full text (OA) OpenAlex

Authors 4

  1. Hendrik Kausch Aachen

    RWTH Aachen University

    Affiliation as printed

    RWTH Aachen

  2. Mathias Pfeiffer Aachen

    RWTH Aachen University

    Affiliation as printed

    RWTH Aachen

  3. Deni Raco Aachen

    RWTH Aachen University

    Affiliation as printed

    RWTH Aachen

  4. Bernhard Rumpe⋆ Aachen

    RWTH Aachen University

    Affiliation as printed

    RWTH Aachen

Cited by 1 stored of 1

1 result

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

References 13

13 results