Verification of Behavior Trees using Linear Constrained Horn Clauses.

Thomas Henn, Marcus Vlker, Stefan Kowalewski, Minh Trinh, Oliver Petrovic, Christian Brecher

Browse the full FMICS paper archive.