On modularity in reactive control architectures, with an application to formal verification O Biggar, M Zamani, I Shames ACM Transactions on Cyber-Physical Systems (TCPS) 6 (2), 1-36, 2022 | 35 | 2022 |
A framework for formal verification of behavior trees with linear temporal logic O Biggar, M Zamani IEEE Robotics and Automation Letters 5 (2), 2341-2348, 2020 | 31 | 2020 |
An expressiveness hierarchy of behavior trees and related architectures O Biggar, M Zamani, I Shames IEEE Robotics and Automation Letters 6 (3), 5397-5404, 2021 | 17 | 2021 |
A principled analysis of behavior trees and their generalisations O Biggar, M Zamani, I Shames arXiv preprint arXiv:2008.11906, 2020 | 8 | 2020 |
Modular decomposition of hierarchical finite state machines O Biggar, M Zamani, I Shames arXiv preprint arXiv:2111.04902, 2021 | 5 | 2021 |
The graph structure of two-player games O Biggar, I Shames Scientific Reports 13 (1), 1833, 2023 | 4 | 2023 |
The replicator dynamic, chain components and the response graph O Biggar, I Shames International Conference on Algorithmic Learning Theory, 237-258, 2023 | 3 | 2023 |
Preference games and sink equilibria O Biggar The Australian National University, 2022 | 1 | 2022 |
The Attractor of the Replicator Dynamic in Zero-Sum Games O Biggar, I Shames International Conference on Algorithmic Learning Theory, 161-178, 2024 | | 2024 |