Verification of Behavior Trees using Linear Constrained Horn Clauses

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

Contribution to a book, Contribution to a conference proceedings

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


  • 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]