Sep, 2022

在Event-B中验证行为树的安全性

TL;DR本文提出了一种行为树的形式化规范及验证方法,以保证对于机器人在安全和可靠性方面的要求得到满足。