A Framework for Formal Verification of Behavior Trees With Linear Temporal Logic

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. In this letter we present a new mathemat...

Full description

Bibliographic Details

Published in:	IEEE robotics and automation letters Vol. 5; no. 2; pp. 2340 - 2347
Main Authors:	Biggar, Oliver, Zamani, Mohammad
Format:	Journal Article
Language:	English
Published:	Piscataway IEEE 01.04.2020 The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subjects:	Algorithms control architectures and programming Formal methods in robotics and automation Modularity Robotics Temporal logic Trees
ISSN:	2377-3766, 2377-3766
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!