Oliver Biggar

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 12

Top Topics

Formal Verification

Bounded Model Checking

Graph Structure

Top Venues

IEEE Robotics Autom. Lett.

ACM Trans. Cyber Phys. Syst.

Publications

Oliver Biggar, Iman Shames
The Attractor of the Replicator Dynamic in Zero-Sum Games. ALT (2024)
Oliver Biggar, Iman Shames
The Replicator Dynamic, Chain Components and the Response Graph. ALT (2023)
Oliver Biggar, Iman Shames
The Attractor of the Replicator Dynamic in Zero-Sum Games. CoRR (2023)
Oliver Biggar, Iman Shames
The graph structure of two-player games. CoRR (2022)
Oliver Biggar, Iman Shames
The Replicator Dynamic, Chain Components and the Response Graph. CoRR (2022)
Oliver Biggar, Mohammad Zamani, Iman Shames
On Modularity in Reactive Control Architectures, with an Application to Formal Verification. ACM Trans. Cyber Phys. Syst. 6 (2) (2022)
Oliver Biggar, Mohammad Zamani, Iman Shames
Modular Decomposition of Hierarchical Finite State Machines. CoRR (2021)
Oliver Biggar, Mohammad Zamani, Iman Shames
An Expressiveness Hierarchy of Behavior Trees and Related Architectures. IEEE Robotics Autom. Lett. 6 (3) (2021)
Oliver Biggar, Mohammad Zamani, Iman Shames
An expressiveness hierarchy of Behavior Trees and related architectures. CoRR (2021)
Oliver Biggar, Mohammad Zamani, Iman Shames
On modularity in reactive control architectures, with an application to formal verification. CoRR (2020)
Oliver Biggar, Mohammad Zamani, Iman Shames
A principled analysis of Behavior Trees and their generalisations. CoRR (2020)
Oliver Biggar, Mohammad Zamani
A Framework for Formal Verification of Behavior Trees With Linear Temporal Logic. IEEE Robotics Autom. Lett. 5 (2) (2020)