3 papers
cs.FL2025
Modular Decomposition of Hierarchical Finite State Machines
Oliver Biggar, Behzad Zamani, Iman Shames
Hierarchical Finite State Machines (HFSMs) are a standard software-modelling concept which extends the classical Finite State Machine (FSM) notion with the useful abstraction of hi…
cs.GT2025
Preference graphs: a combinatorial tool for game theory
Oliver Biggar, Iman Shames
The preference graph is a combinatorial representation of the structure of a normal-form game. Its nodes are the strategy profiles, with an arc between profiles if they differ in t…
cs.PL2024
A Behavior Tree-inspired programming language for autonomous agents
Oliver Biggar, Iman Shames
We propose a design for a functional programming language for autonomous agents, built off the ideas and motivations of Behavior Trees (BTs). BTs are a popular model for designing…