8 citations · 18 across the 8 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
cs.AI2020★ 5 cited
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…
cs.AI2020★ 4 cited
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…