A principled analysis of Behavior Trees and their generalisations. - Oliver Biggar; Mohammad Zamani; Iman Shames (CoRR, 2020)

A Framework for Formal Verification of Behavior Trees With Linear Temporal Logic. - Oliver Biggar; Mohammad Zamani (IEEE Robotics Autom. Lett., 2020)

Modular Decomposition of Hierarchical Finite State Machines. - Oliver Biggar; Mohammad Zamani; Iman Shames (CoRR, 2021)

An Expressiveness Hierarchy of Behavior Trees and Related Architectures. - Oliver Biggar; Mohammad Zamani; Iman Shames (IEEE Robotics Autom. Lett., 2021)

The graph structure of two-player games. - Oliver Biggar; Iman Shames (CoRR, 2022)

On Modularity in Reactive Control Architectures, with an Application to Formal Verification. - Oliver Biggar; Mohammad Zamani; Iman Shames (ACM Trans. Cyber Phys. Syst., 2022)

The Replicator Dynamic, Chain Components and the Response Graph. - Oliver Biggar; Iman Shames (ALT, 2023)

The Attractor of the Replicator Dynamic in Zero-Sum Games. - Oliver Biggar; Iman Shames (ALT, 2024)

A Behavior Tree-inspired programming language for autonomous agents. - Oliver Biggar; Iman Shames (CoRR, 2024)

Preference graphs: a combinatorial tool for game theory. - Oliver Biggar; Iman Shames (CoRR, 2025)

Sink equilibria and the attractors of learning in games. - Oliver Biggar; Christos H. Papadimitriou (CoRR, 2025)

Faster shortest-path algorithms using the acyclic-connected tree. - Elis Stefansson; Oliver Biggar; Karl Henrik Johansson (CoRR, 2025)