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)
Contribution to a book, Contribution to a conference proceedings

In: Formal Methods for Industrial Critical Systems (fmics 2022)
Page(s)/Article-Nr.: 211-225

Institutions

• Internet of Production [080067]
• Department of Computer Science [120000]
• Chair of Computer Science 11 (Embedded Software) [122810]
• Laboratory for Machine Tools and Production Engineering (WZL) of RWTH Aachen University [417200]
• Chair of Machine Tools [417310]