Verification of Behavior Trees using Linear Constrained Horn Clauses

Henn, Thomas (Corresponding author); Völker, Marcus; Kowalewski, Stefan; Trinh, Minh; Petrovic, Oliver; Brecher, Christian

(2022)
Buchbeitrag, Beitrag zu einem Tagungsband

In: Formal Methods for Industrial Critical Systems (fmics 2022)
Seite(n)/Artikel-Nr.: 211-225

Einrichtungen

• Internet of Production [080067]
• Fachgruppe Informatik [120000]
• Lehrstuhl für Informatik 11 (Embedded Software) [122810]
• Werkzeugmaschinenlabor WZL der RWTH Aachen [417200]
• Lehrstuhl für Werkzeugmaschinen [417310]