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