8 citations · 18 across the 8 of their papers we have counts for
3 papers · 1 filter
An expressiveness hierarchy of Behavior Trees and related architectures
Oliver Biggar, Mohammad Zamani, Iman Shames
In this paper we provide a formal framework for comparing the expressive power of Behavior Trees (BTs) to other action selection architectures. Taking inspiration from the analogou…
On modularity in reactive control architectures, with an application to formal verification
Oliver Biggar, Mohammad Zamani, Iman Shames
Modularity is a central principle throughout the design process for cyber-physical systems. Modularity reduces complexity and increases reuse of behavior. In this paper we pose and…
A principled analysis of Behavior Trees and their generalisations
Oliver Biggar, Mohammad Zamani, Iman Shames
As complex autonomous robotic systems become more widespread, the need for transparent and reusable Artificial Intelligence (AI) designs becomes more apparent. In this paper we ana…