A Framework for Formal Verification of Behavior Trees With Linear Temporal Logic
Sign Up to like & getrecommendations! Published in 2020 at "IEEE Robotics and Automation Letters"
DOI: 10.1109/lra.2020.2970634
Abstract: Despite the current increasing popularity of Behavior Trees (BTs) in the robotics community, there does not currently exist a method to formally verify their correctness without compromising their most valuable traits: modularity, flexibility and reusability.… read more here.
Keywords: trees linear; behavior; temporal logic; behavior trees ... See more keywords