A
Menu
January 01, 2022 conference-paper Aachen paper

Verification of Behavior Trees using Linear Constrained Horn Clauses

Lecture notes in computer science, pp. 211–225

DOI: 10.1007/978-3-031-15008-1_14 OpenAlex

Authors 5

  1. Marcus Völker Aachen Informatik 11 – Embedded Software

    RWTH Aachen University

    Affiliation as printed

    Informatik 11 - Embedded Software, RWTH Aachen University, Aachen, Germany

  2. Stefan Kowalewski Aachen Informatik 11 – Embedded Software

    RWTH Aachen University

    Affiliation as printed

    Informatik 11 - Embedded Software, RWTH Aachen University, Aachen, Germany

  3. Minh Trinh Aachen Laboratory for Machine Tools and Production Engineering (WZL)

    RWTH Aachen University

    Affiliation as printed

    Laboratory for Machine Tools and Production Engineering, RWTH Aachen University, Aachen, Germany

  4. Oliver Petrović Aachen Laboratory for Machine Tools and Production Engineering (WZL)

    RWTH Aachen University

    Affiliation as printed

    Laboratory for Machine Tools and Production Engineering, RWTH Aachen University, Aachen, Germany

  5. Christian Brecher Aachen Laboratory for Machine Tools and Production Engineering (WZL)

    RWTH Aachen University

    Affiliation as printed

    Laboratory for Machine Tools and Production Engineering, RWTH Aachen University, Aachen, Germany

Cited by 6 stored of 7

6 results

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

References 21