10 citations · 20 across the 8 of their papers we have counts for
Showing cs.ROShow all
2 papers · 1 filter
cs.RO2022★ 2 cited
Verifying Safety of Behaviour Trees in Event-B
Matteo Tadiello, Elena Troubitsyna
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 beh…
cs.RO2019
Online Path Generation and Navigation for Swarms of UAVs
Adnan Ashraf, Amin Majd, Elena Troubitsyna
With the growing popularity of Unmanned Aerial Vehicles (UAVs) for consumer applications, the number of accidents involving UAVs is also increasing rapidly. Therefore, motion safet…