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