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...

Celý popis

Podrobná bibliografie

Vydáno v:	IEEE robotics and automation letters Ročník 5; číslo 2; s. 2340 - 2347
Hlavní autoři:	Biggar, Oliver, Zamani, Mohammad
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Piscataway IEEE 01.04.2020 The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Témata:	Algorithms control architectures and programming Formal methods in robotics and automation Modularity Robotics Temporal logic Trees
ISSN:	2377-3766, 2377-3766
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!