Sotabase

Career

· PhD Student, Columbia University2024–
· Chief Electoral Officer, Government of Canada1920–1927
· Vice-Chairman, Canadian Air Board1919–1922
· Judge Advocate General, Canadian Militia1918–1920
· Professional Baseball Player, Toronto Blue Jays

Publications (12)

A Framework for Formal Verification of Behavior Trees With Linear Temporal Logic
IEEE Robotics and Automation Letters · 2020
30
cited
On Modularity in Reactive Control Architectures, with an Application to Formal Verification
ACM Trans. Cyber Phys. Syst. · 2020
30
cited
An Expressiveness Hierarchy of Behavior Trees and Related Architectures
IEEE Robotics and Automation Letters · 2021
23
cited
The graph structure of two-player games
Scientific Reports · 2022
13
cited
A principled analysis of Behavior Trees and their generalisations
arXiv.org · 2020
12
cited
Modular Decomposition of Hierarchical Finite State Machines
arXiv.org · 2021
6
cited
The Replicator Dynamic, Chain Components and the Response Graph
International Conference on Algorithmic Learning Theory · 2022
5
cited
The Attractor of the Replicator Dynamic in Zero-Sum Games
International Conference on Algorithmic Learning Theory · 2023
4
cited
LEGAL EDUCATION AGAIN
1923
1
cited
Preference graphs: a combinatorial tool for game theory
arXiv.org · 2025
1
cited
A Behavior Tree-inspired programming language for autonomous agents
arXiv.org · 2024
Walker and Foster's Patents for Inventions@@@Invention and the Law
1938
Sotabase
Oliver Biggar | Researcher Profile | Sotabase | Sotabase