BriefGPT.xyz
Sep, 2022
在Event-B中验证行为树的安全性
Verifying Safety of Behaviour Trees in Event-B
HTML
PDF
Matteo Tadiello, Elena Troubitsyna
TL;DR
本文提出了一种行为树的形式化规范及验证方法,以保证对于机器人在安全和可靠性方面的要求得到满足。
Abstract
behavior trees
(BT) are becoming increasingly popular in the
robotics
community. The BT tool is well suited for decision-making applications allowing a robot to perform complex behavior while being explainable to
→