Thomas Henn, Marcus Völker, Stefan Kowalewski, Minh Trinh, Oliver Petrovic, Christian Brecher. Verification of Behavior Trees using Linear Constrained Horn Clauses. In Jan Friso Groote, Marieke Huisman, editors, Formal Methods for Industrial Critical Systems - 27th International Conference, FMICS 2022, Warsaw, Poland, September 14-15, 2022, Proceedings. Volume 13487 of Lecture Notes in Computer Science, pages 211-225, Springer, 2022. [doi]
Abstract is missing.